Formal model of workflow integration and its application in STISAG

Proceedings - 2006 10th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2006

Volumn , Issue , 2006, Pages 1173-1178

  Ding, Zhijun ^a,b   Zhang, Zhaohui ^a   Jiang, Changjun ^a   Pan, Meiqin ^b  

^a TONGJI UNIVERSITY   (China)

^b SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Grid; WF net refinement; Workflow integration

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; GRID COMPUTING; HIERARCHICAL SYSTEMS; INTEGRATED CONTROL; MATHEMATICAL MODELS;

SUBNETS; WF NET REFINEMENT; WORKFLOW INTEGRATION;

COMPUTER SUPPORTED COOPERATIVE WORK;

EID: 34547686367     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSCWD.2006.253116     Document Type: Conference Paper

References (11)

1. J.Q. Li, Y.S. Fan, and M.C. Zhou. Performance Modeling, and Analysis of Workflow. IEEE Trans. On S. M.C: Part A, 2004, 34 (2), pp229-242.
2. B.Y. Wang, S.M. Zhang, Y.L. Zhu. "A. Workflow Model Based on Time-Extended and Hierarchy Extended Petri Net", Proceedings of the Eighth International Conference on Computer Supported Cooperative Work in Design, Xiamen, P.R. China, May. 26-28, 2004, pp 318-322.
3. W.M.P Van der Aalst "Koosely Coupled Inter - organizational Workflows: Modeling and Analyzing Workflows Crossing Organizational Boundaries", Information and Management, 2000, 37 (2), pp67-75.
4. W. Brauer, R. Gold, and W. Vogler, "A Survey of Behavior and Equivalence. Preserving Refinements of Petri Nets". Lecture Notes in Computer Science, 1990, 483, pp1-46.
5. W.M. Zuberek, "Hierarchical analysis of manufacturing systems using Petri nets", IEEE Int. Conf on Systems, Man, and Cybernetics, Nashville, October 8-11, 2000, pp3021-3026.
6. H.J. Huang, To-yat Cheung, Wai Ming Mak, "Structure and behavior preservation by Petri-net-based refinements in system design", Theoretical Computer Science, 2004, 1 328, pp245-269.
7. W.M.P Van der Aalst, "Workflow Verification: Finding Control-Flow Errors Using Petri-net-based Techniques", Lecture Notes in Computer Science2000, 1806, pp161-183.
8. T. Murata "Petri Nets: Properties, analysis and applications", Proc. of the IEEE, 1989, 77(4):541-580.
9. W.M.P Van der Aalst, "The Application of Petri Nets to Workflow Management", The Journal of Circuits, Systems, and computers. 1998, 8(1), pp21-66.
10. C.J. Jiang, etc. "Urban Traffic Information Service Application Grid", Journal of Computer Science & Technology, 2005, 20(1) pp.134-140.
11. Z.J. Ding, Refine Operation of Workflow Nets, Technical Report TR-2005-09-20, High Performance Computing Center at Tongji University.