Machado, Ricardo, et al. “Automated Mapping Tool from Moise+ to Colored Petri Nets”. The International FLAIRS Conference Proceedings, vol. 37, no. 1, May 2024, doi:10.32473/flairs.37.1.135392.