GERMAN

Entscheidbarkeit bei Petri Netzen: Überblick und Kompendium

By Harro Wimmel (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2008
ISBN
9783540854715, 3540854711, 9783540854708, 3540854703
DOI
10.1007/978-3-540-85471-5
Language
german
Format
PDF
Filesize
4 MB (4326941 bytes)
Series
EXamen.press
Edition
1
Pages
242\242
Library
usenet
Time added
2013-03-05 19:00:00
Software Engineering; Computation by Abstract Devi

Description

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.

Similar books