Agarwal, B. “TRANSFORMATION OF UML ACTIVITY DIAGRAMS INTO PETRI NETS FOR VERIFICATION PURPOSES”. International Journal of Engineering and Computer Science, vol. 2, no. 03, Dec. 2017, https://ijecs.in/index.php/ijecs/article/view/481.