Struktur und Analyse von Free-Choice-Petrinetzen.pdf

Struktur und Analyse von Free-Choice-Petrinetzen

Jörg Desel

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.

Struktur und Analyse von Free-Choice-Petrinetzen. Authors; Jörg Desel; Book. 3 Citations; 126 Downloads; Part of the DUV: Datenverarbeitung book series (DUVD) Log in to check access . Buy eBook. USD 54.99 Instant download; Readable on all devices; Own it forever; Local sales tax included if applicable; Buy Physical Book Learn about institutional subscriptions. Chapters Table of contents (7 Skript zur Vorlesung Petrinetze SS 95

1.96 MB DATEIGRÖSSE
9783824420308 ISBN
Kostenlos PREIS
Struktur und Analyse von Free-Choice-Petrinetzen.pdf

Technik

PC und Mac

Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Digital Editions.

iOS & Android

Für Tablets und Smartphones: Unsere Gratis tolino Lese-App

Andere eBook Reader

Laden Sie das eBook direkt auf dem Reader im www.aw-de.de Shop herunter oder übertragen Sie es mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions.

Reader

Öffnen Sie das eBook nach der automatischen Synchronisation auf dem Reader oder übertragen Sie es manuell auf Ihr tolino Gerät mit der kostenlosen Software Adobe Digital Editions.

Aktuelle Bewertungen

avatar
Sofya Voigtuh

Desel, J. - uni-hamburg.de

avatar
Mattio Müllers

Free Choice Petri Nets without frozen tokens and … We use cookies to offer you a better experience, personalize content, tailor advertising, provide social media features, and better understand the use of our services.

avatar
Noels Schulzen

Analyse von Petrinetzen - Folie 1. Kapitel 4: Analyse von ... Free Choice. Vorlesung ... Struktur (z.B. Vor- und Nachbedingungen für alle Aktivitäten). » Verhalten ...

avatar
Jason Leghmann

One way to express correctness of a Petri net N is to specify a linear inequality U, requiring each reachable marking of N to satisfy U. A linear inequality U is stable if it is preserved along steps. Jörg Desel: free download. Ebooks library. On-line …

avatar
Jessica Kolhmann

The Petri Nets Bibliography: Desel, J. Do you need a refined search? Try our search engine which allows complex field-based queries. The author's address is provided by the database of Petri net researchers. Back to the Petri Nets Bibliography Lehrstuhl Prof. Dr. Brauer: Tätigkeitsbericht 1992