An Approach to Decomposition of Workflow Models based on Petri Net

The effective analysis of models needs to utilize the structure reduction of workflow model. Based on the structure reduction methods of workflow nets, a simple and effective decomposition algorithm of free choice subnets for workflow nets was proposed, and the time complexity analysis was presented in the paper. Combining the algorithm proposed with the current structure reduction methods of workflow nets, the efficiency of model reduction is raised, and the models can be analyzed based on business instance subnets.

[1]  Carlos A. Hurtado,et al.  Business Process Behavior is (Almost) Free-Choice , 1996 .

[2]  Lin Chuang.  Performance Equivalent Analysis of Workflow Systems , 2002 .

[3]  Li Jian.  A Method of Workflow Model Performance Analysis , 2003 .

[4]  Eike Best,et al.  Structure Theory of Petri Nets: the Free Choice Hiatus , 1986, Advances in Petri Nets.

[5]  Jörg Desel,et al.  Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science) , 2005 .

[6]  Kees M. van Hee,et al.  Using Formal Analysis Techniques in Business Process Redesign , 2000, Business Process Management.

[7]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[8]  G. Clark,et al.  Reference , 2008 .

[9]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[10]  Yushun Fan,et al.  Approximate performance analysis of Workflow model , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[11]  Dan C. Marinescu,et al.  Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models , 2002, EDCIS.