Coloured Petri Nets: Modelling and Validation of Concurrent Systems

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

Book Overview

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 the immense number of possible execution sequences. In this textbook Jensen and Kristensen introduce the constructs of the CPN modelling language and present...

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