Read Struktur und Analyse von Free-Choice-Petrinetzen (DUV: Datenverarbeitung) (German Edition)

Struktur und Analyse von Free-Choice-Petrinetzen (DUV: Datenverarbeitung) (German Edition)

Jörg Desel

4.9/5 (30403 ratings)

Description: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."We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Struktur und Analyse von Free-Choice-Petrinetzen (DUV: Datenverarbeitung) (German Edition). To get started finding Struktur und Analyse von Free-Choice-Petrinetzen (DUV: Datenverarbeitung) (German Edition), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 3824420309

Description: 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."We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Struktur und Analyse von Free-Choice-Petrinetzen (DUV: Datenverarbeitung) (German Edition). To get started finding Struktur und Analyse von Free-Choice-Petrinetzen (DUV: Datenverarbeitung) (German Edition), you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Struktur und Analyse von Free-Choice-Petrinetzen (DUV: Datenverarbeitung) (German Edition)

Struktur und Analyse von Free-Choice-Petrinetzen (DUV: Datenverarbeitung) (German Edition)

More Books

[(Business Process Management: Second International Conference, Bpm 2004, Potsdam, Germany, June 17-18, 2004, Proceedings )] [Author: Jörg Desel] [Aug-2004]

[(Business Process Management: Second International Conference, Bpm 2004, Potsdam, Germany, June 17-18, 2004, Proceedings )] [Author: Jörg Desel] [Aug-2004]

Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science, Series Number 40)

Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science, Series Number 40)

Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings (Lecture Notes in Computer Science) by Jörg Desel (Editor), Barbara Pernici (Editor), Mathias Weske (Editor) (14-Jun-2004) Paperback

Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings (Lecture Notes in Computer Science) by Jörg Desel (Editor), Barbara Pernici (Editor), Mathias Weske (Editor) (14-Jun-2004) Paperback

Petrinetze, lineare Algebra und lineare Programmierung: Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen (Teubner Texte zur Informatik 26) (German Edition)

Petrinetze, lineare Algebra und lineare Programmierung: Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen (Teubner Texte zur Informatik 26) (German Edition)

Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 Proceedings

Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 Proceedings

Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory

Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory

Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings (Lecture Notes in Computer Science, 3080)

Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings (Lecture Notes in Computer Science, 3080)

Modellierung ’99: Workshop der Gesellschaft für Informatik e.V. (GI), März 1999 in Karlsruhe (Teubner Reihe Wirtschaftsinformatik) (German Edition)

Modellierung ’99: Workshop der Gesellschaft für Informatik e.V. (GI), März 1999 in Karlsruhe (Teubner Reihe Wirtschaftsinformatik) (German Edition)