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. |
Year | DOI | Venue |
---|---|---|
2006 | null | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Keywords | Field | DocType |
model analysis,shanghai traffic information service,petri net,application grid,current refinement,reliable refined workflow,dynamical behavior,workflow integration,dynamical properties preservation,top down | Petri net,Computer science,Top-down and bottom-up design,Workflow nets,Soundness,Workflow management system,Workflow,Grid,Distributed computing,The Internet | Conference |
Volume | Issue | ISSN |
4402 LNCS | null | 16113349 |
Citations | PageRank | References |
1 | 0.36 | 11 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zhijun Ding | 1 | 346 | 30.28 |
Yaying Zhang | 2 | 21 | 3.27 |
Changjun Jiang | 3 | 1350 | 117.57 |
Zhaohui Zhang | 4 | 8 | 1.84 |