Business Architecture Validity using Petri Nets Formal Method (Case Study: Manufacturing Company in Indonesia). aisthebest [Internet]. 2021 Jun. 21 [cited 2025 Apr. 21];6(1):61-75. Available from: https://ojs.unikom.ac.id/index.php/aisthebest/article/view/4800