Entscheidbarkeit bei Petri Netzen - Überblick und Kompendium
Harro Wimmel
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.
หมวดหมู่:
ปี:
2008
ฉบับพิมพ์ครั้งที่:
1
สำนักพิมพ์:
Springer-Verlag Berlin Heidelberg
ภาษา:
german
จำนวนหน้า:
242
ISBN 10:
3540854711
ISBN 13:
9783540854715
ซีรีส์:
eXamen.press
ไฟล์:
PDF, 4.21 MB
IPFS:
,
german, 2008