TY - GEN
T1 - A new extended Petri-net for business process modeling
AU - Liang, Zhang
AU - Shuzhen, Yao
PY - 2010
Y1 - 2010
N2 - In this paper a new extended Petri-net (EPNet) was proposed for the requirements of business process modeling. 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 can be directly supported in EPNet. D element was introduced in EPNet for recording instance runtime relevant data. C relation was added to describe computing and communication among D elements and tasks. Task was split into three parts: entry function, body function, exit function. Jumping, composite, multi-instance, triggering were four new attributes of a task. In analysis, the soundness of EPNet consisted of consistency verification and analysis of Iiveness and bound ness of corresponding Petri-net. Finally, an industrial application example was introduced to illustrate how to apply the proposed EPNet to model a real business process.
AB - In this paper a new extended Petri-net (EPNet) was proposed for the requirements of business process modeling. 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 can be directly supported in EPNet. D element was introduced in EPNet for recording instance runtime relevant data. C relation was added to describe computing and communication among D elements and tasks. Task was split into three parts: entry function, body function, exit function. Jumping, composite, multi-instance, triggering were four new attributes of a task. In analysis, the soundness of EPNet consisted of consistency verification and analysis of Iiveness and bound ness of corresponding Petri-net. Finally, an industrial application example was introduced to illustrate how to apply the proposed EPNet to model a real business process.
KW - Business process modeling
KW - Petri nets
KW - Worliflow
UR - https://www.scopus.com/pages/publications/78149344605
U2 - 10.1109/ICACTE.2010.5579833
DO - 10.1109/ICACTE.2010.5579833
M3 - 会议稿件
AN - SCOPUS:78149344605
SN - 9781424465408
T3 - ICACTE 2010 - 2010 3rd International Conference on Advanced Computer Theory and Engineering, Proceedings
SP - V315-V319
BT - ICACTE 2010 - 2010 3rd International Conference on Advanced Computer Theory and Engineering, Proceedings
T2 - 2010 3rd International Conference on Advanced Computer Theory and Engineering, ICACTE 2010
Y2 - 20 August 2010 through 22 August 2010
ER -