Cheng, Allan, Søren Christensen, and Kjeld Høyer Mortensen. 1997. “Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components”. DAIMI Report Series 26 (519). https://doi.org/10.7146/dpb.v26i519.7048.