Automated Mapping Tool from Moise+ to Colored Petri Nets.

Ricardo Arend Machado, Athur Zelindro, Eder Mateus Nunes Gonalves, Diana Francisca Adamatti, Giovani Farias

Browse the full FlAIRS paper archive.