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, [S. l.], v. 6, n. 1, p. 61–75, 2021. DOI: 10.34010/aisthebest.v6i1.4800. Disponível em: https://ojs.unikom.ac.id/index.php/aisthebest/article/view/4800. Acesso em: 21 apr. 2025.