CORRECTNESS OF PROCESS MODELS THROUGH PROPER MODEL INSTANTIATION TERMINATION AND COMPLETE MODEL INSTANTIABILITY

摘要

Proper process modeling is essential to global business competition. Automated process modeling tools are commercially available. However, process model verification is not emphasized or vendor-specific at best. This paper applies theories from petri nets and discusses two important process model correctness criteria: proper termination of all model instantiation and complete model instantiability. This paper is a part of the basis for defining a step-by-step model verification procedure.