Kristensen, Lars Michael. “State Space Methods for Coloured Petri Nets”. DAIMI Report Series 29, no. 546 (March 1, 2000). Accessed February 4, 2026. https://tidsskrift.dk/daimipb/article/view/7080.