Modeling and Analysis of Enterprise Processes

In this paper a new extended Petri-net (EPNet) was proposed for the requirements of enterprise process modeling and analysis. EPNet is powerful in expression and analysis. EPNet extended the workflow net (WF_net) by adding some new elements and the corresponding mechanisms. All workflow patterns could be directly supported in EPNet. Control variable (CV) was introduced in EPNet for communication among tasks. Dynamical routing was supported in EPNet by extending task with entry function and jump function. In analysis, the soundness of EPNet consisted of consistency verification and analysis of liveness and boundness of corresponding Petri-net. Finally, an application example was introduced to illustrate how to apply the proposed method to describe and analysis real enterprise processes