Jensen, K. (2002) “Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools”, DAIMI Report Series, 31(560). doi: 10.7146/dpb.v31i560.7117.