An analytical method for well-formed workflow/Petri net verification of classical soundness

Barkaoui, K. and Ben Ayed, R. (2011). Uniform verification of workflow soundness, Transactions of the Institute of Measurement and Control 33(1): 133-148.10.1177/0142331208095676Search in Google Scholar

Barkaoui, K. and Petrucci, L. (1998). Structural analysis of workflow nets with shared resources, Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM’98), Lisbon, Portugal, pp. 82-95.Search in Google Scholar

Basu, A. and Blanning, R.W. (2000). A formal approach to workflow analysis, Information Systems Research 11(1): 17-36.10.1287/isre.11.1.17.11787Search in Google Scholar

Basu, A. and Blanning, R.W. (2002). Research commentary: Workflow management issues in e-business, Information Systems Research 13(1): 17-36.10.1287/isre.13.1.1.94Search in Google Scholar

Bi, H.H. and Zhao, J.L. (2004). Applying propositional logic to workflow verification, Information Systems Research 5(3-4): 293-318.10.1023/B:ITEM.0000031583.16306.0fSearch in Google Scholar

Brams, G.W. (1983). R´eseaux de Petri: Théorie et Pratique, Théorie et Analyse (Petri Nets: Theory and Practice), Vol. 1, Masson, Paris.Search in Google Scholar

Clempner, J. (2005). Colored decision process Petri nets: Modeling, analysis and stability, International Journal of Applied Mathematics and Computer Science 15(3): 405-420.Search in Google Scholar

Clempner, J. (2014). Verifying soundness of business processes: A decision process Petri nets approach, Expert Systems with Applications 41(11): 5030-5040.10.1016/j.eswa.2014.03.005Search in Google Scholar

Clempner, J. and Retchkiman, Z. (2005). Business process modeling using decision process Petri nets, WSEAS Transactions on Business and Economics 2(2): 36-44.Search in Google Scholar

Dehnert, J. and Rittgen, P. (2001). Relaxed soundness of business processes, in K.R. Dittrich, A. Geppert and M.C.10.1007/3-540-45341-5_11Search in Google Scholar

Norrie (Eds.), Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE’01), Lecture Notes in Computer Science, Vol. 2068, Springer-Verlag, Berlin, pp. 157-170.Search in Google Scholar

Desel, J. and Erwin, T. (2000). Modeling, simulation and analysis of business processes, in W.M.P. van der Aalst, J.Search in Google Scholar

Desel and A. Oberweis (Eds.), Business Process Management: Models, Techniques and Empirical Studies, Lecture Notes in Computer Science, Vol. 1806, Springer-Verlag, London, pp. 129-141.Search in Google Scholar

Ellis, C.A. and Nutt, G.I. (1993). Modelling and enactment of workflow systems, in M. Ajmone Marsan (Ed.), 14th International Conference on Application and Theory of Petri Nets (ICATPN 1993), Lecture Notes in Computer Science, Vol. 691, Springer-Verlag, Berlin, pp. 1-16.Search in Google Scholar

Fu, X., Bultan, T. and Su, J. (2002). Formal verification of e-services and workflows, in C. Bussler, R. Hull, S.10.1007/3-540-36189-8_15Search in Google Scholar

McIlraith, M. Orlowska, B. Pernici, and J. Yang (Eds.), Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop (WES 2002), Lecture Notes in Computer Science, Vol. 2512, Springer-Verlag, Berlin, pp. 188-202.Search in Google Scholar

Fu, X., Bultan, T. and Su, J. (2004). Analysis of interacting BPEL web services, 13th International World Wide Web Conference, New York, NY, USA, pp. 621-630.Search in Google Scholar

Karamanolis, C., Giannakopoulou, D., Magee, J. and Wheater, S.M. (2000). Model checking of workflow schemas, Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC’00), Los Alamitos, CA, USA, pp. 170-181.Search in Google Scholar

Kindler, E., Martens, A. and Reisig,W. (2000). Inter-operability of workflow applications: Local criteria for global soundness, in W.M.P. van der Aalst, J. Desel and A. Oberweis (Eds.), Business Process Management: Models, Techniques, and Empirical Studies, Lecture Notes in Computer Science, Vol. 1806, Springer-Verlag, Berlin, pp. 235-253.10.1007/3-540-45594-9_15Search in Google Scholar

Lakshmikantham, V., Leela, S. and Martynyuk, A.A. (1990). Practical Stability of Nonlinear Systems, World Scientific, Singapore.10.1142/1192Search in Google Scholar

Lakshmikantham, V., Matrosov, V.M. and Sivasundaram, S. (1991). Vector Lyapunov Functions and Stability Analysis of Nonlinear Systems, Kluwer Academic Publishers, Dordrecht.10.1007/978-94-015-7939-1Search in Google Scholar

Lin, H., Zhao, Z., Li, H. and Chen, Z. (2002). A novel graph reduction algorithm to identify structural conflicts, Proceedings of the 34th Annual Hawaii International Conference on System Science (HICSS-35), Maui, HI, USA, pp. 1-10.Search in Google Scholar

Lohmann, N., Massuthe, P., Stahl, C. and Weinberg, D. (2006). Analyzing interacting BPEL processes, in S. Dustdar, J.L.10.1007/11841760_3Search in Google Scholar

Fiadeiro and A. Sheth (Eds.), International Conference on Business ProcessManagement (BPM2006), Lecture Notes in Computer Science, Vol. 4102, Springer-Verlag, Berlin, pp. 17-32.Search in Google Scholar

Mann, Z.A. (2010). Numbering action vertices in workflow graphs, International Journal of Applied Mathematics and Computer Science 20(3): 591-600, DOI: 10.2478/v10006-010-0044-0.10.2478/v10006-010-0044-0Search in Google Scholar

Martens, A. (2005a). Analyzing web service based business processes, in M. Cerioli (Ed.), Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE 2005), Lecture Notes in Computer Science, Vol. 3442, Springer-Verlag, Berlin, pp. 19-33.Search in Google Scholar

Martens, A. (2005b). Consistency between executable and abstract processes, Proceedings of the International IEEE Conference on e-Technology, e-Commerce, and e-Services (EEE’05), Kitakyushu, Japan, pp. 60-67.Search in Google Scholar

Mendling, J., Neumann, G. and van der Aalst, W.M.P. (2007). Understanding the occurrence of errors in process models based on metrics, in M. Cerioli (Ed.), Proceedings of the OTM Conference on Cooperative information Systems (CoopIS 2007), Lecture Notes in Computer Science, Vol. 4803, Springer-Verlag, Berlin, pp. 113-130.10.1007/978-3-540-76848-7_9Search in Google Scholar

Murata, T. (1989). Petri nets: Properties, analysis and applications, Automatica 77(4): 541-580. Passino, K.M., Burguess, K.L. and Michel, A.N. (1995). Lagrange stability and boundedness of discrete event systems, Theory and Applications 5: 383-403.Search in Google Scholar

Sadiq, W. and Orlowska, M.E. (1997). On correctness issues in conceptual modeling of workflows, Proceedings of the 5th European Conference on Information Systems (ECIS ’97), Cork, Ireland, pp. 19-21.Search in Google Scholar

Sadiq, W. and Orlowska, M.E. (2000). Analyzing process models using graph reduction techniques, Information Systems 25(2): 117-134.10.1016/S0306-4379(00)00012-0Search in Google Scholar

Salimifard, K. andWright,M. (2001). Petri net-based modelling of workflow systems: An overview, European Journal of Operational Research 134(3): 664-676. van der Aalst, W.M.P. (1997). Verification of workflow nets, in P. Azéma and G. Balbo (Eds.), Application and Theory of Petri Nets 1997, Springer-Verlag, Berlin, pp. 407-426. van der Aalst, W.M.P. (1998). The application of Petri nets to workflow management, The Journal of Circuits, Systems and Computers 8(1): 21-66. van der Aalst, W.M.P. (2007). Workflow verification: Finding control-flow errors using Petri-net-based techniques, in W.M.P. van der Aalst, J. Desel and A. Oberweis (Eds.), Business Process Management: Models, Techniques, and Empirical Studies, Springer-Verlag, Berlin, pp. 161-183. van der Aalst, W.M.P. (2011). Soundness of workflow nets: Classification, decidability, and analysis, Formal Aspects of Computing 23(3): 333-363. van Dongen, B.F., van der Aalst, W.M.P. and Verbeek, H.M.W. (2005). Verification of EPCs: Using reduction rules and Petri nets, in O. Pastor and J. Falco e Cunha (Eds.), Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE’05), Lecture Notes in Computer Science, Vol. 3520, Springer-Verlag, Berlin, pp. 372-386. van Hee, K.M., Serebrenik, A., Sidorova N. and Voorhoeve, M. (2005). Soundness of resource-constrained workflow nets, in G. Ciardo and P. Darondeau (Eds.), Applications and Theory of Petri Nets 2005, Lecture Notes in Computer Science, Vol. 3536, Springer-Verlag, Berlin, pp. 250-267. van Hee, K.M., Sidorova, N. and Voorhoeve, M. (2004).Search in Google Scholar

Generalised soundness of workflow nets is decidable, in J. Cortadella andW. Reisig (Eds.), Application and Theory of Petri Nets 2004, Lecture Notes in Computer Science, Vol. 3099, Springer-Verlag, Berlin, pp. 197-215.10.1007/978-3-540-27793-4_12Search in Google Scholar

Vanhatalo, J., Volzer, H. and Leymann, F. (2007). Faster and more focused control-flow analysis for business process models through SESE decomposition, in B. Kramer, K. Lin and P. Narasimhan (Eds.), Proceedings of Service-Oriented Computing (ICSOC 2007), Lecture Notes in Computer Science, Vol. 4749, Springer-Verlag, Berlin, pp. 43-55.10.1007/978-3-540-74974-5_4Search in Google Scholar

Verbeek, H.M.W., Basten, T. and van der Aalst, W.M.P. (2001). Diagnosing workflow processes using Woflan, The Computer Journal 44(4): 246-279.10.1093/comjnl/44.4.246Search in Google Scholar

Verbeek, H.M.W., van der Aalst W.M.P. and ter Hofstede, A.H.M. (2001). Verifying workflows with cancellation regions and or-joins: An approach based on relaxed soundness and invariants, The Computer Journal 50(3): 294-314.10.1093/comjnl/bxl074Search in Google Scholar

Weske, M. (2007). Business Process Management: Concepts, Languages, Architectures, Springer-Verlag, Berlin.Search in Google Scholar

Wombacher, A. (2006). Decentralized consistency checking in cross-organizational workflows, Proceedings of the International Conference on e-Technology, e-Commerce and e-Service (CEC/EEE 2006), Washington, DC, USA, pp. 39-46.Search in Google Scholar

Wynn, M.T., Edmond, D., van der Aalst W.M.P. and ter Hofstede, A.H.M. (2005). Achieving a general, formal and decidable approach to the or-join in workflow using reset nets, in G. Ciardo and P. Darondeau (Eds.), Applications and Theory of Petri Nets 2005, Lecture Notes in Computer Science, Vol. 3536, Springer-Verlag, Berlin, pp. 423-443.10.1007/11494744_24Search in Google Scholar

Wynn, M.T., van der Aalst, W.M.P., ter Hofstede, A.H.M. and Edmond, D. (2006). Verifying workflows with cancellation regions and or-joins: An approach based on reset nets and reachability analysis, in S. Dustdar, J.L. Fiadeiro and A. Sheth (Eds.), International Conference on Business Process Management (BPM 2006), Lecture Notes in Computer Science, Vol. 4102, Springer-Verlag, Berlin, pp. 389-394. zur Muehlen, M. (2004). Workflow-based Process Controlling: Foundation, Design and Application of Workflow-driven Process Information Systems, Logos, Berlin. Search in Google Scholar