Machado, Ricardo, Diana F. Adamatti, and Eder M. Gonçalves. " Improving the Mapping of Moise+ to Colored Petri Nets." Anais do XVII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, Pelotas/RS, 2023. SBC, 2023, pp.91-100.