By Topic

Research on Workflow Patterns based on Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Liang Zhang ; Sch. of Comput. Sci. & Technol., Beihang Univ., Beijing

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 (EWFnet) based on Petri nets for formalizing workflow patterns. EWFnet extended workflow net (WFnet) by adding some mechanisms. EWFnet improved the power of describing dynamic workflow model of WFnet. Control variable was introduced in EWFnet for describing the relevant data of workflow model. In EWFnet, a special transition was introduced for supporting dynamic routing of model. The correctness analysis of EWFnet consists of the analysis of consistent and the analysis of soundness of corresponding WFnet. Finally, an application example was described and analyzed in EWFnet which show its power of description and analysis

Published in:

Robotics, Automation and Mechatronics, 2006 IEEE Conference on

Date of Conference:

1-3 June 2006