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