Kamal, A. et al. 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 (Oct. 2023), 26–31. DOI:https://doi.org/10.62123/enigma.v1i1.5.