Refinement of Petri nets in workflow integration

Authors:
Zhijun Ding;Yaying Zhang;Changjun Jiang;Zhaohui Zhang
Affiliations:
Department of Computer Science & Engineering, Tongji University, Shanghai, P.R. China and College of Information Science & Engineering, Shandong University of Science & Technology, Qingdao, P.R. C ...;Department of Computer Science & Engineering, Tongji University, Shanghai, P.R. China;Department of Computer Science & Engineering, Tongji University, Shanghai, P.R. China;Department of Computer Science & Engineering, Tongji University, Shanghai, P.R. China
Venue:
CSCWD'06 Proceedings of the 10th international conference on Computer supported cooperative work in design III
Year:
2006

Citing 4
Cited 1

Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries

Information and Management
Soundness and separability of workflow nets in the stepwise refinement approach

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A top-down Petri net-based approach for dynamic workflow modeling

BPM'03 Proceedings of the 2003 international conference on Business process management
Performance modeling and analysis of workflow

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement

ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The current refinement of Petri nets is used mainly as a top down approach for supporting hierarchical Petri net models. In this paper, it is stepped further as a tool for modeling and verifying workflow integration. First, a series of concepts are defined for formalizing the refinement of workflow net. Then the structure, language and dynamical properties preservation of the refinement are studied. These work proves that a reliable refined workflow net preserves not only properties such as soundness, but also dynamical behavior. Moreover, the net language of the refined net can be resolved by the language of the original net and subnets, which can reduce complexity of model analysis. Finally, the results are successfully applied to design, modeling and verification of workflow integration in Shanghai Traffic Information Service Application Grid.