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