KAMAL, Alvan; LUBIS, Muharman; DEWI, Fitriyana; CONSTANTINO, Matias Garcia. A Verification And Validation Of Business Process Modeling Using Petri Nets (Case Study of Telkom University FRI Laboratory Business Architecture Domain). Electronic Integrated Computer Algorithm Journal, [S. l.], v. 1, n. 1, p. 26–31, 2023. DOI: 10.62123/enigma.v1i1.5. Disponível em: https://journal.yasib.com/index.php/enigma/article/view/5. Acesso em: 4 jul. 2025.