Christensen, S.; Mortensen, K. H. Parametrisation of Coloured Petri Nets. DPB 1997, 26.