Jensen, Kurt. “Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 29-31, 2001”. DAIMI Report Series 30, no. 554 (August 1, 2001). Accessed April 28, 2024. https://tidsskrift.dk/daimipb/article/view/7111.