Agarwal, B. (2017) “TRANSFORMATION OF UML ACTIVITY DIAGRAMS INTO PETRI NETS FOR VERIFICATION PURPOSES”, International Journal of Engineering and Computer Science. india, 2(03). Available at: https://ijecs.in/index.php/ijecs/article/view/481 (Accessed: 23 July 2024).