Blick ins Buch

Struktur und Analyse von Free-Choice-Petrinetzen

Jörg Desel (Autor)

Buch | Softcover

XII, 200 Seiten

1992
Deutscher Universitätsverlag
978-3-8244-2030-8 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche Verteilung der Marken gegeben. Sein Verhalten wird durch die Menge seiner Ablaufe oder durch seinen Erreichbarkeitsgraphen beschrie ben. Struktur und Verhalten hiingen eng zusammenj so lassen sich dynamische Systemeigenschaften oft mit Hilfe struktureller Methoden wie Deadlocks oder S-Invarianten beweisen. Fur die Analyse eines markierten Petrinetzes auf dynamische Eigenschaften reichen strukturelle Methoden dagegen meist nicht aus. So sind die meisten dynamischen Eigenschaften -wie z.B. die Erreich-., barkeit einer gegebenen Markierung - zwar entscheidbar, doch haben diese Entscheidungsprobleme sehr groBe untere Komplexitatsschranken, die wenig stens dem Konstruktionsaufwand des Erreichbarkeitsgraphen entsprechen. Eine effiziente Analyse basiert notwendigerweise auf der Struktur eines mar kierten Netzes. Sie ist also nur fur Netze moglich, deren relevante dynamische Eigenschaften durch strukturelle Eigenschaften charakterisiert werden. Fur Free-Choice-Petrindze wurde Anfang der 70er Jahren von Fred Commoner (damals ein Student am MIT) eine entsprechende Charakterisierung der dyna mischen Eigenschaft Lebendigkeit angegeben: ein Free-Choice-Netz ist genau dann lebendig, wenn jeder Deadlock einen markierten Trap enthiilt. Leider ermoglicht dieses Ergebnis aber keine effiziente Lebendigkeitsanalyse, denn das Nicht-Lebendigkeitsproblem fur Free-Choice-Netze wurde als NP-vollstandig nachgewiesen.

1 Netze, Systeme und ihr Verhalten.- 2 EFC-Systeme.- 3 Lebendige beschränkte EFC-Systeme.- 4 Erreichbarkeit in zyklischen EFC-Systemen.- 5 Blockierungsfreie EFC-Systeme.- Abschließende Bemerkungen.- Stichwortverzeichnis.

Erscheint lt. Verlag	1.1.1992
Reihe/Serie	DUV: Datenverarbeitung
Zusatzinfo	XII, 200 S. 22 Abb.
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	155 x 235 mm
Gewicht	286 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Petri-Netz • Petrinetze • Randelementmethode • Schließen • Struktur • Verhalten
ISBN-10	3-8244-2030-9 / 3824420309
ISBN-13	978-3-8244-2030-8 / 9783824420308
Zustand	Neuware