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