Christensen, S., and K. H. Mortensen. “Parametrisation of Coloured Petri Nets”. DAIMI Report Series, vol. 26, no. 521, Mar. 1997, doi:10.7146/dpb.v26i521.7050.