Return to Article Details Business Architecture Validity using Petri Nets Formal Method (Case Study: Manufacturing Company in Indonesia) Download Download PDF