edoc-Server der Humboldt-Universität zu Berlin

Post- oder Preprint

Publikationsart: Artikel
Autor(en): Hans-Dieter Burkhard
Titel: Two Pumping Lemmata for Petri Nets
Erschienen in: Elektronische Informationsverarbeitung und Kybernetik (EIK) 17 (7) 1981
S. 349-362
ISSN: 0013-5712
Erstveröffentlichung: 1981
Veröffentlichung auf edoc: 29.10.2008
Status: published
peer_reviewed
Volltext: pdf (urn:nbn:de:kobv:11-10092588)
Fachgebiet(e): Informatik
Schlagwörter (eng): Petri nets, pumping lemma
Einrichtung: Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
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):
A careful analysis of the coverability tree for Petri nets shows that each infinite reachability set contains infinite linear subsets. This can be formulated as a pumping lemma for markings. It can also be shown that the nonterminal Petri net languages satisfy a pumping lemma similar to that for regular languages.
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.
PDF: 2 Zugriffe PDF: 3 Zugriffe PDF: 3 Zugriffe PDF: 3 Zugriffe PDF: 4 Zugriffe PDF: 2 Zugriffe Startseite: 2 Zugriffe PDF: 8 Zugriffe Startseite: 1 Zugriffe PDF: 3 Zugriffe PDF: 3 Zugriffe PDF: 4 Zugriffe PDF: 4 Zugriffe PDF: 3 Zugriffe Startseite: 1 Zugriffe PDF: 6 Zugriffe Startseite: 1 Zugriffe PDF: 8 Zugriffe PDF: 9 Zugriffe PDF: 3 Zugriffe Startseite: 1 Zugriffe PDF: 11 Zugriffe Startseite: 1 Zugriffe PDF: 13 Zugriffe PDF: 9 Zugriffe PDF: 12 Zugriffe Startseite: 5 Zugriffe PDF: 14 Zugriffe PDF: 4 Zugriffe Startseite: 5 Zugriffe PDF: 8 Zugriffe Startseite: 4 Zugriffe PDF: 10 Zugriffe PDF: 10 Zugriffe Startseite: 1 Zugriffe PDF: 12 Zugriffe PDF: 10 Zugriffe PDF: 20 Zugriffe Startseite: 1 Zugriffe PDF: 15 Zugriffe Startseite: 1 Zugriffe PDF: 38 Zugriffe Startseite: 2 Zugriffe PDF: 35 Zugriffe Startseite: 3 Zugriffe PDF: 19 Zugriffe PDF: 20 Zugriffe Startseite: 1 Zugriffe PDF: 29 Zugriffe Startseite: 3 Zugriffe PDF: 30 Zugriffe Startseite: 1 Zugriffe PDF: 15 Zugriffe Startseite: 2 Zugriffe PDF: 16 Zugriffe Startseite: 5 Zugriffe PDF: 61 Zugriffe
Jul
11
Aug
11
Sep
11
Oct
11
Nov
11
Dec
11
Jan
12
Feb
12
Apr
12
May
12
Jul
12
Aug
12
Sep
12
Oct
12
Nov
12
Dec
12
Jan
13
Feb
13
Mar
13
Apr
13
May
13
Jun
13
Jul
13
Aug
13
Sep
13
Oct
13
Nov
13
Dec
13
Jan
14
Feb
14
Mar
14
Apr
14
May
14
Jun
14
Jul
14
Aug
14
Sep
14
Oct
14
Monat Jul
11
Aug
11
Sep
11
Oct
11
Nov
11
Dec
11
Jan
12
Feb
12
Apr
12
May
12
Jul
12
Aug
12
Sep
12
Oct
12
Nov
12
Dec
12
Jan
13
Feb
13
Mar
13
Apr
13
May
13
Jun
13
Jul
13
Aug
13
Sep
13
Oct
13
Nov
13
Dec
13
Jan
14
Feb
14
Mar
14
Apr
14
May
14
Jun
14
Jul
14
Aug
14
Sep
14
Oct
14
Startseite             2 1         1 1     1 1     5   5 4   1     1 1 2 3   1 3 1 2 5
PDF 2 3 3 3 4 2 8 3 3 4 4 3 6 8 9 3 11 13 9 12 14 4 8 10 10 12 10 20 15 38 35 19 20 29 30 15 16 61

Gesamtzahl der Zugriffe seit Jul 2011:

  • Startseite – 41 (1.28 pro Monat)
  • PDF – 479 (12.61 pro Monat)
 
 
Generiert am 23.11.2014, 21:02:10