Entscheidbarkeit bei Petri Netzen : Überblick und Kompendium (eXamen.press) （2008. VI, 240 S. m. 41 Abb. 24 cm）

Wimmel, Harro

SPRINGER, BERLIN（2008発売）

• 製本 Hardcover:ハードカバー版
• 商品コード 9783540854708

Full Description

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