S. Christensen and L. Petrucci, “Towards a Modular Analysis of Coloured Petri Nets”, DPB, vol. 21, no. 391, Apr. 1992.