Jensen, K. “Coloured Petri Nets: A High Level Language for System Design and Analysis”. DAIMI Report Series, vol. 19, no. 338, Mar. 1993, doi:10.7146/dpb.v19i338.6569.