Jensen, Kurt. “Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools”. DAIMI Report Series 31, no. 560 (August 1, 2002). Accessed February 24, 2026. https://tidsskrift.dk/daimipb/article/view/7117.