Lindstrøm, B. (2002) “Facilitating the Practical Use of Coloured Petri Nets”, DAIMI Report Series, 31(562). doi: 10.7146/dpb.v31i562.7119.