Jensen, K. 1994. An Introduction to the Theoretical Aspects of Coloured Petri Nets. DAIMI Report Series. 13, 476 (Aug. 1994). DOI:https://doi.org/10.7146/dpb.v13i476.6949.