DocumentCode :
1853064
Title :
Modeling and Analysis of Enterprise Processes
Author :
Zhang, Liang
Author_Institution :
Dept. of Comput. Sci. & Technol., Beihang Univ. of China
fYear :
2006
fDate :
8-10 Oct. 2006
Firstpage :
393
Lastpage :
398
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/COASE.2006.326914
Filename :
4120380
Link To Document :
بازگشت