Agarwal, Bhawana. “TRANSFORMATION OF UML ACTIVITY DIAGRAMS INTO PETRI NETS FOR VERIFICATION PURPOSES”. International Journal of Engineering and Computer Science 2, no. 03 (December 29, 2017). Accessed July 23, 2024. https://ijecs.in/index.php/ijecs/article/view/481.