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.