TY - GEN
T1 - Research on workflow patterns based on Petri nets
AU - Liang, Zhang
PY - 2006
Y1 - 2006
N2 - Workflow patterns systematically address workflow requirements, from basic to complex. Some complicated patterns of it were not supported directly by existing workflow management systems and workflow languages. Petri nets perform better when it comes to state-based workflow patterns. However, some patterns are also not easy to map onto Petri nets. This inspired us to develop a new extended workflow net (EWF-net) based on Petri nets for formalizing workflow patterns. EWF-net extended WorkFlow net (WF-net) by adding some mechanisms. EWF-net improved the power of describing dynamic workflow model of WF-net. Control variable was introduced in EWF-net for describing the relevant data of workflow model. In EWF-net, a special transition was introduced for supporting dynamic routing of model. The correctness analysis of EWF-net consists of the analysis of consistent and the analysis of soundness of corresponding WF-net. Finally, an application example was described and analyzed in EWF-net which show its power of description and analysis.
AB - Workflow patterns systematically address workflow requirements, from basic to complex. Some complicated patterns of it were not supported directly by existing workflow management systems and workflow languages. Petri nets perform better when it comes to state-based workflow patterns. However, some patterns are also not easy to map onto Petri nets. This inspired us to develop a new extended workflow net (EWF-net) based on Petri nets for formalizing workflow patterns. EWF-net extended WorkFlow net (WF-net) by adding some mechanisms. EWF-net improved the power of describing dynamic workflow model of WF-net. Control variable was introduced in EWF-net for describing the relevant data of workflow model. In EWF-net, a special transition was introduced for supporting dynamic routing of model. The correctness analysis of EWF-net consists of the analysis of consistent and the analysis of soundness of corresponding WF-net. Finally, an application example was described and analyzed in EWF-net which show its power of description and analysis.
KW - Petri-net
KW - Workflow modeling
KW - Workflow patterns
UR - https://www.scopus.com/pages/publications/34547315646
U2 - 10.1109/RAMECH.2006.252634
DO - 10.1109/RAMECH.2006.252634
M3 - 会议稿件
AN - SCOPUS:34547315646
SN - 1424400244
SN - 9781424400249
T3 - 2006 IEEE Conference on Robotics, Automation and Mechatronics
BT - 2006 IEEE Conference on Robotics, Automation and Mechatronics
T2 - 2006 IEEE Conference on Robotics, Automation and Mechatronics
Y2 - 7 June 2006 through 9 June 2006
ER -