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