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