TRANSFORMATION OF UML ACTIVITY DIAGRAMS INTO PETRI NETS FOR VERIFICATION PURPOSES. int. jour. eng. com. sci 2017, 2 (03).