JENSEN, K. Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. DAIMI Report Series, [S. l.], v. 31, n. 560, 2002. DOI: 10.7146/dpb.v31i560.7117. Disponível em: https://tidsskrift.dk/daimipb/article/view/7117. Acesso em: 28 mar. 2024.