Fajrillah, Asti Amalia, and Syifa Annastasia. “Business Architecture Validity Using Petri Nets Formal Method (Case Study: Manufacturing Company in Indonesia)”. @is The Best : Accounting Information Systems and Information Technology Business Enterprise 6, no. 1 (June 21, 2021): 61-75. Accessed August 9, 2022. https://ojs.unikom.ac.id/index.php/aisthebest/article/view/4800.