Jensen, Kurt. “Workshop on Practical Use of Coloured Petri Nets and Design CPN: Aarhus, Denmark, 10-12 June 1998”. DAIMI Report Series, bd. 27, nr. 532, maj 1998, doi:10.7146/dpb.v27i532.7649.