Jensen, K. 1998. Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998. DAIMI Report Series. 27, 532 (May 1998). DOI:https://doi.org/10.7146/dpb.v27i532.7649.