Coloured Petri Nets

This first volume of three contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. It gives a detailed presentation... » 

This first volume of three contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. It gives a detailed presentation of many small examples and a brief overview of some industrial applications. «