Fajrillah, A. A., and S. Annastasia. “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, doi:10.34010/aisthebest.v6i1.4800.