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