Kristensen, L. M. “State Space Methods for Coloured Petri Nets”. DAIMI Report Series, vol. 29, no. 546, Mar. 2000, doi:10.7146/dpb.v29i546.7080.