[1]
K. Jensen, “Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN”., DPB, vol. 28, no. 541, Oct. 1999.