Christensen, S.; Petrucci, L. Modular State Space Analysis of Coloured Petri Nets. DPB 1997, 26.