R. Machado, A. Zelindro, E. Gonçalves, D. Adamatti, and G. Farias, “Automated Mapping Tool from Moise+ to Colored Petri Nets”, FLAIRS, vol. 37, no. 1, May 2024.