“Business Architecture Validity using Petri Nets Formal Method (Case Study: Manufacturing Company in Indonesia)”, aisthebest, vol. 6, no. 1, pp. 61–75, Jun. 2021, doi: 10.34010/aisthebest.v6i1.4800.