Machado, R., Zelindro, A., Gonçalves, E., Adamatti, D., & Farias, G. (2024). Automated Mapping Tool from Moise+ to Colored Petri Nets. The International FLAIRS Conference Proceedings, 37(1). https://doi.org/10.32473/flairs.37.1.135392