Logo der Humboldt-Universität zu BerlinLogo der Humboldt-Universität zu Berlin
edoc-Server
Open-Access-Publikationsserver der Humboldt-Universität
de|en
Banner: Fassade der Humboldt-Universität zu Berlin
Publikation anzeigen 
  • edoc-Server Startseite
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • Publikation anzeigen
  • edoc-Server Startseite
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • Publikation anzeigen
JavaScript is disabled for your browser. Some features of this site may not work without it.
Gesamter edoc-ServerBereiche & SammlungenTitelAutorSchlagwortDiese SammlungTitelAutorSchlagwort
PublizierenEinloggenRegistrierenHilfe
StatistikNutzungsstatistik
Gesamter edoc-ServerBereiche & SammlungenTitelAutorSchlagwortDiese SammlungTitelAutorSchlagwort
PublizierenEinloggenRegistrierenHilfe
StatistikNutzungsstatistik
Publikation anzeigen 
  • edoc-Server Startseite
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • Publikation anzeigen
  • edoc-Server Startseite
  • Artikel und Monographien
  • Zweitveröffentlichungen
  • Publikation anzeigen
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.
Dateien zu dieser Publikation
Thumbnail
28deiTUZiTxM.pdf — PDF — 2.273 Mb
MD5: 4929ed854058b6e296e9854d8e68df2e
Referenzen
Is Part Of Series: Elektronische Informationsverarbeitung und Kybernetik (EIK), 17, 2/3, 1981, pp 71-86
Zitieren
BibTeX
EndNote
RIS
Keine Lizenzangabe
Zur Langanzeige
Impressum Leitlinien Kontakt Datenschutzerklärung
Ein Service der Universitätsbibliothek und des Computer- und Medienservice
© 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>