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