Cheng, A.; Christensen, S.; Mortensen, K. H. Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components. DPB 1997, 26.