Harro Wimmel, "Entscheidbarkeit bei Petri Netzen: Überblick und Kompendium"
Deutsch | 2008 | ISBN: 3540854703 | PDF | pages: 242 | 4.2 mb
Deutsch | 2008 | ISBN: 3540854703 | PDF | pages: 242 | 4.2 mb
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.