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