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