Cheng, Allan, Søren Christensen, and Kjeld Høyer Mortensen. “Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components”. DAIMI Report Series 26, no. 519 (March 1, 1997). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/7048.