A Brief Introduction to Coloured Petri Nets
Kurt Jensen
i:
Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97) Workshop
E. Brinksma
Lecture Notes in Computer Science, Springer-Verlag, 1997
A Brief Introduction to Coloured Petri Nets