Harro Wimmel | Akateeminen Kirjakauppa

Petri Netze sind das am besten untersuchte Modell f r parallele Rechnungen und Stellen/Transitionennetze. In diesem Buch werden erstmals alle wichtigen Fragen zur Entscheidbarkeit f r klassische Stellen/Transitionennetze zusammengestellt und systematisch behandelt. Dazu geh ren neben dem Erreichbarkeitsproblem Fragen, die sich mit Markierungen und Sprachen von Petri Netzen befassen. Dabei werden verschiedene Sprach- und Akzeptanzmodelle in Betracht gezogen. Zus tzlich beleuchtet der Autor einige Erweiterungen von Netzen.