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). doi: 10.7146/dpb.v27i532.7649.