K. Jensen, “An Introduction to the Theoretical Aspects of Coloured Petri Nets”, DPB, vol. 13, no. 476, Aug. 1994.