Entscheidbarkeit bei Petri Netzen

Überblick und Kompendium

Harro Wimmel (Autor)

Buch | Hardcover

VI, 242 Seiten

2008 | 2008
Springer Berlin (Verlag)
978-3-540-85470-8 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

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.

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

Erscheint lt. Verlag	12.9.2008
Reihe/Serie	eXamen.press
Zusatzinfo	VI, 242 S.
Verlagsort	Berlin
Sprache	deutsch
Maße	155 x 235 mm
Gewicht	546 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	Entscheidbar • Entscheidbarkeit • Erreichbarkeitsproblem • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Informatik • Klasse • Mengen • Petri-Netz • Petrinetze • Petri Netze • Sprache • Theoretische Informatik
ISBN-10	3-540-85470-3 / 3540854703
ISBN-13	978-3-540-85470-8 / 9783540854708
Zustand	Neuware