MACHADO, Ricardo; ZELINDRO, Athur; GONÇALVES, Eder; ADAMATTI, Diana; FARIAS, Giovani. Automated Mapping Tool from Moise+ to Colored Petri Nets. The International FLAIRS Conference Proceedings, [S. l.], v. 37, n. 1, 2024. DOI: 10.32473/flairs.37.1.135392. Disponível em: https://journals.flvc.org/FLAIRS/article/view/135392. Acesso em: 18 jan. 2025.