A. Kamal, M. Lubis, F. Dewi, and M. G. Constantino, “A Verification And Validation Of Business Process Modeling Using Petri Nets (Case Study of Telkom University FRI Laboratory Business Architecture Domain)”, ENIGMA, vol. 1, no. 1, pp. 26–31, Oct. 2023.