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 February 4, 2026. https://tidsskrift.dk/daimipb/article/view/7048.