Kamal, A., Lubis, M., Dewi, F., & Constantino, M. G. (2023). 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, 1(1), 26–31. https://doi.org/10.62123/enigma.v1i1.5