S. Christensen og K. H. Mortensen, “Parametrisation of Coloured Petri Nets”, DPB, bd. 26, nr. 521, mar. 1997.