“TRANSFORMATION OF UML ACTIVITY DIAGRAMS INTO PETRI NETS FOR VERIFICATION PURPOSES” (2017) International Journal of Engineering and Computer Science, 2(03). Available at: http://www.ijecs.in/index.php/ijecs/article/view/481 (Accessed: 5 December 2025).