B. Agarwal, “TRANSFORMATION OF UML ACTIVITY DIAGRAMS INTO PETRI NETS FOR VERIFICATION PURPOSES”, int. jour. eng. com. sci, vol. 2, no. 03, Dec. 2017.