Fajrillah, A.A. and Annastasia, S. 2021. 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, 1 (Jun. 2021), 61-75. DOI:https://doi.org/10.34010/aisthebest.v6i1.4800.