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