Automated Mapping Tool from Moise+ to Colored Petri Nets. - Ricardo Arend Machado; Athur Zelindro; Eder Mateus Nunes Gonçalves; Diana Francisca Adamatti; Giovani Farias (FLAIRS, 2024)