AGARWAL, B. TRANSFORMATION OF UML ACTIVITY DIAGRAMS INTO PETRI NETS FOR VERIFICATION PURPOSES. International Journal of Engineering and Computer Science, india, v. 2, n. 03, 2017. Disponível em: https://ijecs.in/index.php/ijecs/article/view/481. Acesso em: 23 jul. 2024.