Coloured Petri Nets Modelling and Validation of Concurrent Systems /

• Main Authors: Jensen, Kurt (Author), Kristensen, Lars M. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Subjects: Computer science.; Computer organization.; Software engineering.; Computers.; Computer simulation.; Computer Science.; Software Engineering/Programming and Operating Systems.; Computation by Abstract Devices.; Simulation and Modeling.; Software Engineering.; Computer Systems Organization and Communication Networks.

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and t...

Table of Contents:

• 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.