Study on Complex Loop Pattern Based on Time Petri Net

Beginning with decomposing the complex loop patterns,this paper introduces the methods to resolve the problems of obstacle complex loop patterns bring.Static-method is involved to generate reasonable and correct duration of complex loop pattern with “loop duration table” and adjustment rule.In order to control the live workflow instances dynamically,it uses “loop management stack” and the results gained from static-method to apply corresponding methods.

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

[2]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[3]  Bao-Yi Wang,et al.  A workflow model based on time-extended and hierarchy-extended Petri net , 2004, 8th International Conference on Computer Supported Cooperative Work in Design.

[4]  Wil M. P. van der Aalst,et al.  Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information? , 1999, CoopIS.

[5]  Kamalakar Karlapalem,et al.  Gaining Control over Time in Workflow Management Applications , 2000, DEXA.

[6]  Sea Ling,et al.  Time Petri nets for workflow modelling and analysis , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.