Christensen, S.; Petrucci, L. Towards a Modular Analysis of Coloured Petri Nets. DPB 1992, 21.