K. Jensen, “Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 24-26, 2005”, DPB, vol. 34, no. 576, Oct. 2005.