Machado, R., Adamatti, D., & Gonçalves, E. 2023 ago 30. Improving the Mapping of Moise+ to Colored Petri Nets. Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC). [Online] :