JENSEN, K. Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007. DAIMI Report Series, [S. l.], v. 36, n. 584, 2007. DOI: 10.7146/dpb.v36i584.7197. Disponível em: https://tidsskrift.dk/daimipb/article/view/7197. Acesso em: 3 may. 2024.