Abstract
Workflow management systems are widely used in improving the efficiency of business processes. To develop a workflow management system is the key to workflow modeling. In this paper, the compositional time net is presented to model workflow processes on the basis of the analyzing methods of time Petri nets and workflows, and to describe the static relationships and the dynamic semantics of the task of multiple workflow composition. The paper puts more emphasis on checking the soundness of composed workflow, at the same time, combinational problems of non-conditional structure of the compositional time net are introduced and analyzed. A sufficient and necessary condition for determining the soundness of compositional nets is obtained.
Similar content being viewed by others
References
Mikolajczak B, Byrne D L. Workflow modeling and diagnosis with Petri nets—A case study of a manufacturing process[C] // IEEE international conference on systems, man and cybernetics. Hammamet: IEEE Computer Society Press 2002.
Aalst W M P. The application of Petri nets to workflow management[J]. The Journal of Circuits System Computer, 1998, 8(1): 21–66.
Ling S, Schmidt H. Time Petri nets for workflow modeling and analysis[C]//IEEE international conference on systems, man, and cybernetics. Nashville: Computer Society Press, 2000: 3039–3044.
Eder J, Panagos E, Pozewaunig H, et al. Time management in workflow systems[C] // The 3rd international conference on Business Information Systems. Heidelberg, London, Berlin: Springer-Verlag, 1999: 265–280.
Lee J S, Zhou M C, Hsu P L. Multi-Paradigm modeling for hybrid dynamic systems using Petri net framework [J]. IEEE Transactions on Systems, Man, and Cybernetics: Part A, 2008, 38(2): 493–498.
Xia D, Xie X, Xu Y. With an application to workflow management based on colored Petri net [C] // Proceedings of The 3rd International Conference on Anti-Counterfeiting, Security, and Identification in Communication, Piscataway: IEEE Press, 2009: 596–599.
Ha S, Suh H W. A timed colored Petri nets modeling for dynamic workflow in product development process [J]. Computers in Industry, 2008, 59(2): 193–209.
Xiong P, Fan Y, Zhou M C. A Petri net approach to analysis and composition of web services [J]. IEEE Transactions on Systems, Man, and Cybernetics, 2010, 40(2): 376–387.
Combi C, Pozzi G. Task scheduling for a temporal workflow management system[C]//Thirteenth International Symposium on Temporal Representation and Reasoning. Budapest: IEEE Computer Society, 2006: 61–68.
Yan C G, Jiang C J, Sun P, et al. The language study for workflow net system based on Petri net reduction technique[ J]. International Journal of Studies in Informatics and Control, 2006, 15(4): 337–350.
Merlin P. A Study of the Recoverability of Computer System [D]. California, Irvine: Dep Comput Sci, University of California, 1974.
Berthomieu B, Diaz M. Modelling and verification of time dependent systems using Time Petri nets [J]. IEEE Transaction on Software Engineering, 1991, 17(3): 259–273.
Author information
Authors and Affiliations
Corresponding author
Additional information
Foundation item: Supported by the National Natural Science Foundation of China (61103115) and the Key Project of Guangdong and Hong Kong (2007A090601001)
Biography: ZHENG Hong, female, Associate professor, Ph.D., research direction: system modelling and analysis.
Rights and permissions
About this article
Cite this article
Zheng, H., Jiang, Y. Soundness analysis of compositional model of time-based petri nets. Wuhan Univ. J. Nat. Sci. 16, 493–499 (2011). https://doi.org/10.1007/s11859-011-0787-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11859-011-0787-y