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