Christensen, S., and L. Petrucci. “Towards a Modular Analysis of Coloured Petri Nets”. DAIMI Report Series, vol. 21, no. 391, Apr. 1992, doi:10.7146/dpb.v21i391.6626.