S. Christensen and L. Petrucci, “Modular State Space Analysis of Coloured Petri Nets”, DPB, vol. 26, no. 524, Apr. 1997.