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