K. Jensen, “Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998”, DPB, vol. 27, no. 532, May 1998.