“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, vol. 6, no. 1, June 2021, pp. 61-75, https://doi.org/10.34010/aisthebest.v6i1.4800.