R. Machado, D. Adamatti, and E. Gonçalves. " Improving the Mapping of Moise+ to Colored Petri Nets", in Proceedings of the 17th Workshop-School on Agents, Environments, and Applications, Pelotas/RS, 2023, pp. 91-100, doi: https://doi.org/10.5753/wesaac.2023.33439.