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 Definition of Hierarchical Coloured Petri Nets.- State Spaces and Behavioural Properties.- Advanced State Space Methods.- Formal Definition of State Spaces and Behavioural Properties.- Timed Coloured Petri Nets.- Formal Definition of Timed Coloured Petri Nets.- Simulation-based Performance Analysis.- Behavioural Visualisation.- Examples of Industrial Applications.- Teaching Coloured Petri Nets.

• Format: Paperback
• Language: English
• ISBN: 364242581X
• ISBN13: 9783642425813
• Release Date: November 2014
• Publisher: Springer
• Length: 384 Pages
• Weight: 1.22 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"