Lindstrøm, Bo. “Facilitating the Practical Use of Coloured Petri Nets”. DAIMI Report Series 31, no. 562 (August 1, 2002). Accessed March 29, 2024. https://tidsskrift.dk/daimipb/article/view/7119.