Research on Workflow Patterns based on Petri nets

Author

Zhang, Liang

Author_Institution

Sch. of Comput. Sci. & Technol., Beihang Univ., Beijing

fYear

2006

fDate

1-3 June 2006

Firstpage

1

Lastpage

6

Abstract

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

Keywords

Petri nets; workflow management software; Petri nets; extended workflow net; state-based workflow pattern; workflow languages; workflow management systems; workflow modeling; Bellows; Computer science; Conductors; Data structures; Insurance; Parallel processing; Petri nets; Power system modeling; Routing; Workflow management software; Petri-net; workflow modeling; workflow patterns;

fLanguage

English

Publisher

ieee

Conference_Titel

Robotics, Automation and Mechatronics, 2006 IEEE Conference on

Conference_Location

Bangkok

Print_ISBN

1-4244-0024-4

Electronic_ISBN

1-4244-0025-2

Type

conf

DOI

10.1109/RAMECH.2006.252634

Filename

4018750