[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/0142331208095676]Search 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.11787]Search 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.94]Search 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.0f]Search 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.005]Search 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_11]Search 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_15]Search 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_15]Search in Google Scholar
[Lakshmikantham, V., Leela, S. and Martynyuk, A.A. (1990). Practical Stability of Nonlinear Systems, World Scientific, Singapore.10.1142/1192]Search 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-1]Search 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_3]Search 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-0]Search 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_9]Search 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-0]Search 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_12]Search 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_4]Search 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.246]Search 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/bxl074]Search 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_24]Search 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