“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 April 21, 2025. https://ojs.unikom.ac.id/index.php/aisthebest/article/view/4800.