Agarwal, B. (2017). TRANSFORMATION OF UML ACTIVITY DIAGRAMS INTO PETRI NETS FOR VERIFICATION PURPOSES. International Journal of Engineering and Computer Science, 2(03). Retrieved from https://ijecs.in/index.php/ijecs/article/view/481