S. Christensen and K. H. Mortensen, “Parametrisation of Coloured Petri Nets”, DPB, vol. 26, no. 521, Mar. 1997.