Jensen, K. “Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 24-26, 2005”. DAIMI Report Series, Vol. 34, no. 576, Oct. 2005, doi:10.7146/dpb.v34i576.7198.