“Business Architecture Validity Using Petri Nets Formal Method (Case Study: Manufacturing Company in Indonesia)”. 2021. @is The Best : Accounting Information Systems and Information Technology Business Enterprise 6 (1): 61-75. https://doi.org/10.34010/aisthebest.v6i1.4800.