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