S. Christensen og L. Petrucci, “Modular State Space Analysis of Coloured Petri Nets”, DPB, bd. 26, nr. 524, apr. 1997.