Jensen, K. (1999) “Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN”., DAIMI Report Series, 28(541). doi: 10.7146/dpb.v28i541.7075.