A. Cheng, S. Christensen, and K. H. Mortensen, “Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components”, DPB, vol. 26, no. 519, Mar. 1997.