JENSEN, K. Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 29-31, 2001. DAIMI Report Series, [S. l.], v. 30, n. 554, 2001. DOI: 10.7146/dpb.v30i554.7111. Disponível em: https://tidsskrift.dk/daimipb/article/view/7111. Acesso em: 27 apr. 2024.