Formal Model of Workflow Integration and its Application in STISAG

Refinement operation of workflow nets is provided in this paper for modeling and analyzing integrated workflow. Structure, dynamic properties and behavior expression of refined workflow net are also discussed. These works proves that refinement operation with step-by-step refinement of transitions could realize hierarchical modeling of workflow as well as composite modeling of workflow integration Furthermore, the refinement operation can reduce complexity of model analysis. In fact the reliable refined nets satisfy soundness, and dynamic behavior of refined Petri nets was consistent with of original nets and subnets. Therefore the properties analysis and verification of refined workflow nets can be realized by properties of subnets using refinement operation. Moreover, the research results are successfully applied to designing, modeling and verification of layered workflows and their integration in Shanghai Traffic Information Service Application Grid (STISAG)

[1]  MengChu Zhou,et al.  Performance modeling and analysis of workflow , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[2]  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.

[3]  Hejiao Huang,et al.  Structure and behavior preservation by Petri-net-based refinements in system design , 2004, Theor. Comput. Sci..

[4]  Wilfried Brauer,et al.  A survey of behaviour and equivalence preserving refinements of Petri nets , 1991, Applications and Theory of Petri Nets.

[5]  L W Bailey.  INDIAN RELICS FROM NEW BRUNSWICK. , 1883, Science.

[6]  Wil M. P. van der Aalst,et al.  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.

[7]  Wlodzimierz M. Zuberek.  Hierarchical analysis of manufacturing systems using Petri nets , 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.

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

[9]  FengYue,et al.  Urban Traffic Information Service Application Grid , 2005 .

[10]  Wil M. P. van der Aalst,et al.  Loosely coupled interorganizational workflows: : modeling and analyzing workflows crossing organizational boundaries , 2000, Inf. Manag..

[11]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.