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), pp. 61-75. doi: 10.34010/aisthebest.v6i1.4800.