Jensen, Kurt. “Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN”. DAIMI Report Series 28, no. 541 (October 1, 1999). Accessed April 28, 2024. https://tidsskrift.dk/daimipb/article/view/7075.