Jensen, K. “An Introduction to the Theoretical Aspects of Coloured Petri Nets”. DAIMI Report Series, vol. 13, no. 476, Aug. 1994, doi:10.7146/dpb.v13i476.6949.