Christensen, S., & Petrucci, L. (1992). Towards a Modular Analysis of Coloured Petri Nets. DAIMI Report Series, 21(391). https://doi.org/10.7146/dpb.v21i391.6626