An Introduction to the Theoretical Aspects of Coloured Petri Nets
Kurt Jensen
i:
A Decade of Concurrency
J.W. de Bakker & W.-P. de Roever & G. Rozenberg
Lecture Notes in Computer Science Vol. 803, Springer-Verlag, 1994
An Introduction to the Theoretical Aspects of Coloured Petri Nets