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