Logo of Humboldt-Universität zu BerlinLogo of Humboldt-Universität zu Berlin
edoc-Server
Open-Access-Publikationsserver der Humboldt-Universität
de|en
Header image: facade of Humboldt-Universität zu Berlin
View Item 
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
StatisticsView Usage Statistics
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
StatisticsView Usage Statistics
View Item 
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
  • edoc-Server Home
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • View Item
1981-01-01Zeitschriftenartikel DOI: 10.18452/9413
Ordered Firing in Petri Nets
Burkhard, Hans-Dieter
Humboldt-Universität zu Berlin
Two simple rules for solving conflicts and for ordering the firings of tronsitions in a Petri net are studied: 1. The "Maximum Strategy" (Salwicki, Müldner) whereby maximal sets of simultaneously fireble transitions are fired. 2. Firing in the order of enabling of transitions by some queue regimes. In both cases the computational power of Petri nets is extended up to the power of counter machines. As a consequence, the reachability, boundedness and liveness problems are all undecidable if the firing of transitions is ordered by the Maximum Strategy or by the considered queue regimes.
Files in this item
Thumbnail
28deiTUZiTxM.pdf — Adobe PDF — 2.273 Mb
MD5: 4929ed854058b6e296e9854d8e68df2e
Cite
BibTeX
EndNote
RIS
InCopyright
Details
DINI-Zertifikat 2019OpenAIRE validatedORCID Consortium
Imprint Policy Contact Data Privacy Statement
A service of University Library and Computer and Media Service
© Humboldt-Universität zu Berlin
 
DOI
10.18452/9413
Permanent URL
https://doi.org/10.18452/9413
HTML
<a href="https://doi.org/10.18452/9413">https://doi.org/10.18452/9413</a>