“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.