Title :
Modeling and Analysis of Enterprise Processes
Author_Institution :
Dept. of Comput. Sci. & Technol., Beihang Univ. of China
Abstract :
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
Keywords :
Petri nets; corporate modelling; manufacturing processes; workflow management software; EPNet; control variable; enterprise processes analysis; extended Petri-net; workflow net; workflow patterns; Automation; Communication system control; Computer science; Conductors; Parallel processing; Petri nets; Power engineering and energy; Process control; Routing; Workflow management software;
Conference_Titel :
Automation Science and Engineering, 2006. CASE '06. IEEE International Conference on
Conference_Location :
Shanghai
Print_ISBN :
1-4244-0310-3
Electronic_ISBN :
1-4244-0311-1
DOI :
10.1109/COASE.2006.326914