Kamal, A.; Lubis, M.; Dewi, F.; Constantino, M. G. A Verification And Validation Of Business Process Modeling Using Petri Nets (Case Study of Telkom University FRI Laboratory Business Architecture Domain). ENIGMA 2023, 1, 26-31.