Fajrillah, A. A.; Annastasia, S. Business Architecture Validity Using Petri Nets Formal Method (Case Study: Manufacturing Company in Indonesia). aisthebest 2021, 6, 61-75.