“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: 23 September 2025).