Jensen, K. “Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN”. DAIMI Report Series, vol. 28, no. 541, Oct. 1999, doi:10.7146/dpb.v28i541.7075.