Cheng, A., Christensen, S. and Mortensen, K.H. 1997. Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components. DAIMI Report Series. 26, 519 (Mar. 1997). DOI:https://doi.org/10.7146/dpb.v26i519.7048.