Kamal A, Lubis M, Dewi F, Constantino MG. A Verification And Validation Of Business Process Modeling Using Petri Nets (Case Study of Telkom University FRI Laboratory Business Architecture Domain). ENIGMA [Internet]. 2023 Oct. 31 [cited 2025 Sep. 1];1(1):26-31. Available from: https://journal.yasib.com/index.php/enigma/article/view/5