FAJRILLAH, A. A.; ANNASTASIA, S. 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, v. 6, n. 1, p. 61-75, 21 jun. 2021.