Machado, Ricardo, Adamatti, Diana, AND Gonçalves, Eder. " Improving the Mapping of Moise+ to Colored Petri Nets" Proceedings of the Workshop-School on Agents, Environments, and Applications (WESAAC) [Online], (30 August 2023)