Fajrillah, Asti Amalia, and Syifa Annastasia. 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), 61-75. https://doi.org/10.34010/aisthebest.v6i1.4800.