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