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