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