Coloured Petri Nets: Modelling and Validation of Concurrent Systems

by Lars M Kristensen, Kurt Jensen, Lars M. Kristensen

Book Overview

to Modelling and Validation.- Non-hierarchical Coloured Petri Nets.- CPN ML Programming.- Formal Definition of Non-hierarchical Coloured Petri Nets.- Hierarchical Coloured Petri Nets.- Formal... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 3642002838
• ISBN13: 9783642002830
• Release Date: July 2009
• Publisher: Springer
• Length: 384 Pages
• Weight: 1.60 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"