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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Murata, T.: Petri nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Li, J., Fan, Y., Zhou, M.: Performance Modeling and Analysis of Workflow. IEEE Transactions on System, Man, Cybernetics, Part A 34(2), 229–242 (2004)
van der Aalst, W.M.P.: Loosely Coupled Inter-organizational Workflows: Modeling and Analyzing Workflows Crossing Organizational Boundaries. Information and Management 37(2), 67–75 (2000)
Zuberek, W.M.: Hierarchical Analysis of Manufacturing Systems Using Petri Nets. In: Proc. IEEE Int. Conf. on S.M.C., Nashville, TN, USA, pp. 3021–3026 (2000)
Valette, R.: Analysis of Petri nets by stepwise refinements. Journal of Computer and System Science 18, 35–46 (1979)
Suzuki, I., Murata, T.: A Method for Stepwise Refinement and Abstraction of Petri Nets. Journal of Computer and System Science 27, 51–76 (1983)
Huang, H., Cheung, T.Y., Mak, W.M.: Structure and Behavior Preservation by Petri-net-based Refinements in System Design. Theoretical Computer Science 328(3), 245–269 (2004)
Chrzastowski-Wachtel, P., et al.: A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 415–438. Springer, Heidelberg (2003)
van Hee, K., Sidorova, N., Voorhoeve, M.: Soundness and separability of workflow nets in the stepwise refinement. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 335–354. Springer, Heidelberg (2003)
Jiang, C., et al.: Urban Traffic Information Service Application Grid. Journal of Computer Science & Technology 20(1), 134–140 (2005)
Ding, Z., Jiang, C.: Petri Nets Modeling and Analysis Method Based on The Refinement Operation (in Chinese). Control and Decision 22(2), to appear (2007)
van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ding, Z., Zhang, Y., Jiang, C., Zhang, Z. (2007). Refinement of Petri Nets in Workflow Integration. In: Shen, W., Luo, J., Lin, Z., Barthès, JP.A., Hao, Q. (eds) Computer Supported Cooperative Work in Design III. CSCWD 2006. Lecture Notes in Computer Science, vol 4402. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72863-4_68
Download citation
DOI: https://doi.org/10.1007/978-3-540-72863-4_68
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72862-7
Online ISBN: 978-3-540-72863-4
eBook Packages: Computer ScienceComputer Science (R0)