M. Redjimi and S. Boukelkoul, “Algorithmic Tools for the Transformation of Petri Nets to DEVS”, Informatica, vol. 37, no. 4, Accessed: Aug. 15, 2026. [Online]. Available: https://www.informatica.si/index.php/informatica/article/view/470