A. A. Fajrillah and S. Annastasia, “Business Architecture Validity using Petri Nets Formal Method (Case Study: Manufacturing Company in Indonesia)”, aisthebest, vol. 6, no. 1, pp. 61-75, Jun. 2021.