Redjimi, M. and Boukelkoul, S. “Algorithmic Tools for the Transformation of Petri Nets to DEVS”, Informatica, 37(4). Available at: https://www.informatica.si/index.php/informatica/article/view/470 (Accessed: 21 January 2026).