K. Jensen, “Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools”, DPB, vol. 31, no. 560, Aug. 2002.