Wimmel | Entscheidbarkeit bei Petri Netzen | Buch | 978-3-540-85470-8 | www.sack.de

Buch, Deutsch, 242 Seiten, Book, Format (B × H): 155 mm x 235 mm

Reihe: eXamen.press

Wimmel

Entscheidbarkeit bei Petri Netzen

Überblick und Kompendium
2008
ISBN: 978-3-540-85470-8
Verlag: Springer

Überblick und Kompendium

Buch, Deutsch, 242 Seiten, Book, Format (B × H): 155 mm x 235 mm

Reihe: eXamen.press

ISBN: 978-3-540-85470-8
Verlag: Springer

Petri Netze sind das meist beachtete und am besten untersuchte Modell für parallele Rechnungen und Stellen/Transitionennetze, die bekannteste und wichtigste Klasse von Petri Netzen. In diesem Buch werden erstmals systematisch alle wichtigen Fragen zur Entscheidbarkeit für klassische Stellen/Transitionennetze zusammengestellt und behandelt. Dazu gehören neben dem Erreichbarkeitsproblem weitere Fragen, die sich mit Markierungen und Sprachen von Petri Netzen befassen, wie z.B. Fragen nach der Erreichbarkeit von Mengen von Markierungen, der Reproduktion von Markierungen und verschiedenen Lebendigkeitsbegriffen, oder die Frage, ob die Sprache eines Petri Netzes z.B. leer, endlich, total, regulär, gleich einer anderen Sprache ist. Dabei werden verschiedene klassische Sprach- und Akzeptanzmodelle von Petri Netzen in Betracht gezogen.Über die üblichen Stellen/Transitionennetze hinaus werden einige Erweiterungen von Netzen in Bezug auf die Entscheidbarkeit von Erreichbarkeit, Beschränktheit und Überdeckbarkeit beleuchtet.
Wimmel Entscheidbarkeit bei Petri Netzen jetzt bestellen!

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Wimmel, Harro

Weitere Infos & Material

Petri Netze und ihre Mathematik.- Das Erreichbarkeitsproblem.- Elementare Markierungsprobleme.- Feuersequenzen und Sprachen.- Petri Netze mit Nulltest.- Ergebnisse im Überblick.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.