Research on workflow patterns based on Petri nets

被引：0

作者：

Zhang, Liang ^{[1
]}

机构：

[1] Beihang Univ, Sch Comp Sci & Technol, Beijing, Peoples R China

来源：

2006 IEEE Conference on Robotics, Automation and Mechatronics, Vols 1 and 2 | 2006年

关键词：

workflow patterns; Petri-net; workflow modeling;

D O I：

暂无

中图分类号：

TP24 [机器人技术];

学科分类号：

080202 ; 1405 ;

摘要：

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.

引用

页码：163 / 168

页数：6