2017. TRANSFORMATION OF UML ACTIVITY DIAGRAMS INTO PETRI NETS FOR VERIFICATION PURPOSES. International Journal of Engineering and Computer Science. 2, 03 (Dec. 2017).