An Introduction to the Practical Use of Coloured Petri Nets
Kurt Jensen
i:
Lectures on Petri Nets II: Applications, Advances in Petri Nets
Wolfgang Reisig & Grzegorz Rozenberg
Lecture Notes in Computer Science, Springer-Verlag, 1998
An Introduction to the Practical Use of Coloured Petri Nets