Christensen, S. and Petrucci, L. (1997) “Modular State Space Analysis of Coloured Petri Nets”, DAIMI Report Series, 26(524). doi: 10.7146/dpb.v26i524.7053.