K. Jensen, “Coloured Petri Nets: A High Level Language for System Design and Analysis”, DPB, vol. 19, no. 338, Mar. 1993.