Cheng, A., S. Christensen, and K. H. Mortensen. “Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components”. DAIMI Report Series, vol. 26, no. 519, Mar. 1997, doi:10.7146/dpb.v26i519.7048.