Jensen, Kurt. “Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998”. DAIMI Report Series 27, no. 532 (May 1, 1998). Accessed May 6, 2024. https://tidsskrift.dk/daimipb/article/view/7649.