Coloured Petri Nets

Focusing on Coloured Petri Nets (CP-nets), this comprehensive three-volume work explores both theoretical and practical dimensions of the model. It traces the evolution of CP-nets into a robust language for designing and implementing complex systems, emphasizing accessibility for application-oriented readers. The first volume covers hierarchical CP-nets, foundational concepts like deadlocks and fairness, and includes numerous examples and industrial applications. Additionally, it introduces formal analysis methods and describes tools that enhance practical use.