Coloured Petri Nets Modelling and Validation of Concurrent Systems
-
- Hardcover
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
Fr. 87.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
02.11.2014
Verlag
Springer BerlinSeitenzahl
384
Maße (L/B/H)
23.5/15.5/2.2 cm
Gewicht
605 g
Auflage
2009
Sprache
Englisch
ISBN
978-3-642-42581-3
From the reviews:
“A colored Petri net (CPN) is a concurrent and typed enhancement of a state machine. This book is a comprehensive treatise on CPNs. … The book is well edited … . structure and presentation are very well conceived: it can be read as a tutorial for CPNs, as an advanced guide for CPTools, or as a reference for CPN formalism.” (A. Squassabia, ACM Computing Reviews, August, 2010)Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.