edoc-Server der Humboldt-Universität zu Berlin

Post- oder Preprint

Publikationsart: Artikel
Autor(en): Hans-Dieter Burkhard
Titel: Ordered Firing in Petri Nets
Erschienen in: Elektronische Informationsverarbeitung und Kybernetik (EIK) 17 (2/3) 1981
S. 71-86
ISSN: 0013-5712
Erstveröffentlichung: 1981
Veröffentlichung auf edoc: 15.09.2008
Status: published
peer_reviewed
Volltext: pdf (urn:nbn:de:kobv:11-10091920)
Fachgebiet(e): Informatik
Schlagwörter (eng): petri nets, conflict solving, ordered firing
Einrichtung: Humboldt-Universität zu Berlin
Metadatenexport: Um den gesamten Metadatensatz im Endnote- oder Bibtex-Format zu speichern, klicken Sie bitte auf den entsprechenden Link. Endnote   Bibtex  
print on demand: Wenn Sie auf dieses Icon klicken, können Sie ein Druckexemplar dieser Publikation bestellen. Bestellung als gedruckte und gebundene Version bei epubli.de, Ausführung der Bestellung erst nach Bestätigung auf den epubli.de-Seiten

Abstract (eng):
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.
Zugriffsstatistik: Die Daten für die Zugriffsstatistik der einzelnen Dokumente wurden aus den durch AWSTATS aggregierten Webserver-Logs erstellt. Sie beziehen sich auf den monatlichen Zugriff auf den Volltext sowie auf die Startseite.
 
Bei Formatversionen eines Dokuments, die aus mehreren Dateien bestehen (insbesondere HTML), wird jeweils der monatlich höchste Zugriffswert auf eine der Dateien (Kapitel) des Dokuments angezeigt.
 
Um die detaillierten Zugriffszahlen zu sehen, fahren Sie bitte mit dem Mauszeiger über die einzelnen Balken des Diagramms.
Startseite: 5 Zugriffe PDF: 37 Zugriffe Startseite: 1 Zugriffe PDF: 44 Zugriffe Startseite: 4 Zugriffe PDF: 48 Zugriffe Startseite: 4 Zugriffe PDF: 33 Zugriffe Startseite: 3 Zugriffe PDF: 46 Zugriffe Startseite: 3 Zugriffe PDF: 25 Zugriffe Startseite: 1 Zugriffe PDF: 10 Zugriffe Startseite: 9 Zugriffe PDF: 17 Zugriffe Startseite: 2 Zugriffe PDF: 14 Zugriffe Startseite: 6 Zugriffe PDF: 26 Zugriffe Startseite: 3 Zugriffe PDF: 13 Zugriffe Startseite: 3 Zugriffe PDF: 16 Zugriffe Startseite: 9 Zugriffe PDF: 14 Zugriffe Startseite: 5 Zugriffe PDF: 18 Zugriffe Startseite: 5 Zugriffe PDF: 23 Zugriffe Startseite: 5 Zugriffe PDF: 13 Zugriffe Startseite: 2 Zugriffe PDF: 16 Zugriffe
Jan
16
Feb
16
Mar
16
Apr
16
May
16
Jun
16
Jul
16
Aug
16
Sep
16
Oct
16
Nov
16
Dec
16
Jan
17
Feb
17
Mar
17
Apr
17
May
17
Monat Jan
16
Feb
16
Mar
16
Apr
16
May
16
Jun
16
Jul
16
Aug
16
Sep
16
Oct
16
Nov
16
Dec
16
Jan
17
Feb
17
Mar
17
Apr
17
May
17
Startseite 5 1 4 4 3 3 1 9 2 6 3 3 9 5 5 5 2
PDF 37 44 48 33 46 25 10 17 14 26 13 16 14 18 23 13 16

Gesamtzahl der Zugriffe seit Jan 2016:

  • Startseite – 70 (4.12 pro Monat)
  • PDF – 413 (24.29 pro Monat)
 
 
Generiert am 24.06.2017, 02:17:30