Abstract
The correctness of workflow models is one of the major challenges in context of workflow analysis. The aim of this paper is to provide an improved Petri-net-based reduction approach for verifying the correctness of workflow models. To the end, how to represent well-behaved building blocks and control structures of business processes by Petri nets is given at first, and then how to build well-structured process nets is presented. According to the structural characteristics of well-structured process nets, a set of legacy reduction rules are improved and extended, and then a complete Petri-net-based verification approach is proposed. The sound-ness and the complexity with polynomial time for the improved reduction method are also proven.
Similar content being viewed by others
References
Eshuis R, Wieringa R. Verification Support for Workflow Design with UML Activity Graphs.Proceedings of ICSE' 02, Orlando, Florida, USA, 2002. 166–176.
Van der Aalst W M P. The Application of Petri Nets to Workflow Management.Journal of Circuits, Systems and Computers, 1998,8(1): 21–66.
Ter Hofstede A H M, Orlowska M E, Rajapakse J. Verification Problems in Conceptual Workflow Specifications.Proceedings of the 15th International Conference on Conceptual Modeling (ER'96), Computer Science, Springer-Verlag, German, 1996,1157: 73–88.
Van der Aalst W M P, Ter Hofstede A H M. Verification of Workflow Task Structures: A Petri-Net-Based Approach.Information Systems, 2000,25(1): 43–69.
Sadiq W, Orlowska M E.Modeling and Verification of Work flow Graphs. Technical Report, No. 386, Australia, The University of Queensland: Department of Computer Science, 1996.
Sadiq W, Orlowska M E. Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models.Proceedings of the 11th International Conference on Advanced Information Systems Engineering (CAiSE'99),Computer Science, 1999,1626: 195–209.
Lin H, Zhao Z B, Li H C,et al.. A Novel Graph Reduction Algorithm to Identify Structural Conflicts.Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS'02), 2002,9: 289–298.
Van der Aalst W M P. Verification of Workflow Nets. In Azema P, Balbo G editors.Application and Theory of Petri Nets 1997, Computer Science, 1997,1248: 407–426.
Murata T. Petri Nets: Properties, Analysis and Applications.Proceedings of the IEEE, 1989,77(4): 541–580.
WfMC.Workflow Process Definition Interface-XML Process Definition Language, Version 1.0. The Workflow Management Coalition Specification.http://www.wfmc.org/standards/docs.htm, June 2002.
Esparza J. Reduction and Synthesis of Live and Bounded Free Choice Petri Nets.Information and Computation, 1994,114: 50–87.
Author information
Authors and Affiliations
Additional information
Foundation item: Supported by the Scientific Research Foundation of Education Agency of Liaoning Province (20040088) and Scientific Research Foundation of Dalian Nationalities University (20046202)
Biography: LI Xi-zuo(1963-), male, Associate professor, Ph. D., research direction: workflow technology and e-business.
Rights and permissions
About this article
Cite this article
Xi-zuo, L., Gui-ying, H. & Sun-ho, K. Applying Petri-net-based reduction approach for verifying the correctness of workflow models. Wuhan Univ. J. Nat. Sci. 11, 203–210 (2006). https://doi.org/10.1007/BF02831732
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02831732