{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T14:50:53Z","timestamp":1784386253681,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":59,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642450990","type":"print"},{"value":"9783642451003","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,4,11]],"date-time":"2014-04-11T00:00:00Z","timestamp":1397174400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,4,11]],"date-time":"2014-04-11T00:00:00Z","timestamp":1397174400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-642-45100-3_21","type":"book-chapter","created":{"date-parts":[[2014,8,29]],"date-time":"2014-08-29T08:40:27Z","timestamp":1409301627000},"page":"475-506","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Workflow Management"],"prefix":"10.1007","author":[{"given":"Chun","family":"Ouyang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Adams","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Moe Thandar","family":"Wynn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arthur H. M.","family":"ter Hofstede","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,4,11]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Adams M, ter Hofstede AHM, Edmond D, van der Aalst WMP (2006) Worklets: a service-oriented implementation of dynamic flexibility in workflows. In: Proceedings of the 14th international conference on cooperative information systems. LNCS, vol 4275. Springer, Berlin, pp 291\u2013308","DOI":"10.1007\/11914853_18"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Adams M, ter Hofstede AHM, van der Aalst WMP, Edmond D (2007) Dynamic, extensible and context-aware exception handling for workflows. In: Proceedings of the 15th international conference on cooperative information systems. LNCS, vol 4803, pp 95\u2013112","DOI":"10.1007\/978-3-540-76848-7_8"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Aldred L, van der Aalst WMP, Dumas M, ter Hofstede AHM (2007) Communication abstractions for distributed business processes. In: Proceedings of the 19th international conference on advanced information systems engineering. LNCS, vol 4495. Springer, pp 409\u2013423","DOI":"10.1007\/978-3-540-72988-4_29"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Decker G, Barros AP (2007) Interaction modeling using BPMN. In: Proceedings of business process management workshops 2007. LNCS, vol 4928. Springer, Heidelberg, pp 208\u2013219","DOI":"10.1007\/978-3-540-78238-4_22"},{"issue":"2","key":"21_CR5","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R Dijkman","year":"2008","unstructured":"Dijkman R, Dumas M, Ouyang C (2008) Semantics and analysis of business process models in BPMN. Inform Softw Tech 50(2):1281\u20131294","journal-title":"Inform Softw Tech"},{"issue":"1","key":"21_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF02683509","volume":"1","author":"P Fettke","year":"2003","unstructured":"Fettke P, Loos P (2003) Classification of reference models \u2013 a methodology and its application. Inform Syst E Bus Manage 1(1):35\u201353","journal-title":"Inform Syst E Bus Manage"},{"key":"21_CR7","unstructured":"Fischer L (ed) (2005) Workflow handbook 2005. Workflow Management Coalition"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Giaglis G, Paul R, Doukidis G (1996) Simulation for intra- and inter-organisational business process modeling. In: Proceedings of the 28th conference on winter simulation, pp 1297\u20131308","DOI":"10.1145\/256562.256951"},{"issue":"2","key":"21_CR9","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1142\/S0218843008001798","volume":"17","author":"F Gottschalk","year":"2008","unstructured":"Gottschalk F, van der Aalst WMP, Jansen-Vullers M, La Rosa M (2008) Configurable workflow models. Int J Cooper Inform Syst 17(2):177\u2013221","journal-title":"Int J Cooper Inform Syst"},{"issue":"10","key":"21_CR10","doi-asserted-by":"publisher","first-page":"943","DOI":"10.1109\/32.879818","volume":"26","author":"C Hagen","year":"2000","unstructured":"Hagen C, Alonso G (2000) Exception handling in workflow management systems. IEEE Trans Softw Eng 26(10):943\u2013958","journal-title":"IEEE Trans Softw Eng"},{"key":"21_CR12","unstructured":"Hollingsworth D (1995) The workflow reference model. http:\/\/www.wfmc.org\/standards\/docs\/tc003v11.pdf. Accessed 4 Apr 2008"},{"key":"21_CR13","volume-title":"Workflow-management: modeling concepts, architecture and implementation","author":"S Jablonski","year":"1996","unstructured":"Jablonski S, Bussler C (1996) Workflow-management: modeling concepts, architecture and implementation. International Thomson Computer Press, London"},{"key":"21_CR14","unstructured":"Jansen-Vullers M, Netjes M (2006) Business process simulation \u2013 a tool survey. In: Proceedings of the 7th workshop and tutorial on practical use of coloured petri nets and the CPN tools, Aarhus, Denmark"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"La Rosa M, Lux J, Seidel S, Dumas M, ter Hofstede AHM (2007) Questionnaire-driven configuration of reference process models. In: Proceedings of the 19th international conference on advanced information systems engineering. LNCS, vol 4495. Springer, pp 424\u2013438","DOI":"10.1007\/978-3-540-72988-4_30"},{"issue":"2","key":"21_CR16","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10270-008-0090-3","volume":"8","author":"M La Rosa","year":"2009","unstructured":"La Rosa M, van der Aalst WMP, Dumas M, ter Hofstede AHM (2009) Questionnaire-based variability modeling for system configuration. Software Syst Model 8(2):251\u2013274","journal-title":"Software Syst Model"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Ly LT, Rinderle S, Dadam P (2006) Semantic correctness in adaptive process management systems. In: Proceedings of the 4th international conference on business process management. LNCS, vol 4102. Springer, pp 193\u2013208","DOI":"10.1007\/11841760_14"},{"issue":"4","key":"21_CR18","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"issue":"2\u20133","key":"21_CR19","first-page":"125","volume":"67","author":"C Ouyang","year":"2007","unstructured":"Ouyang C, Verbeek HMW, van der Aalst WMP, Breutel S, Dumas M, ter Hofstede AHM (2007) Formal semantics and analysis of control flow in WS-BPEL. Sci Comput Program 67(2\u20133):125\u2013332","journal-title":"Sci Comput Program"},{"key":"21_CR20","unstructured":"Ouyang C, ter Hofstede AHM, La Rosa M, Rosemann M, Shortland K, Court D (2008a) Camera, set, action: automating film production via business process management. In: Proceedings of the CCI conference on creating value: between commerce and commons, the ARC Centre of Excellence for the Creative Industries and Innovation, Brisbane, Australia"},{"issue":"5","key":"21_CR21","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/MIC.2008.115","volume":"12","author":"C Ouyang","year":"2008","unstructured":"Ouyang C, La Rosa M, ter Hofstede AHM, Shortland K (2008b) Towards Web-scale workflows for film production. IEEE Internet Comput 12(5):53\u201361","journal-title":"IEEE Internet Comput"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Ouyang C, Dumas M, van der Aalst WMP, ter Hofstede AHM, Mendling J (2009) From business process models to process-oriented software systems. ACM Trans Softw Eng Meth 19(1): Article No. 2","DOI":"10.1145\/1555392.1555395"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Reichert M, Hallerbach A, Bauer T (2014) Lifecycle management of business process variants. In: vom Brocke J, Rosemann M (eds) Handbook on business process management, vol 1, 2nd edn. Springer, Heidelberg, pp 251\u2013278","DOI":"10.1007\/978-3-642-45100-3_11"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Reichert M, Rinderle S, Kreher U, Dadam P (2005) Adaptive process management with ADEPT2. In: Proceedings of the 21st international conference on data engineering, Tokyo, Japan, pp 1113\u20131114","DOI":"10.1109\/ICDE.2005.17"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Reijers HA (2003) Design and control of workflow processes: business process management for the service industry. LNCS, vol 2617. Springer, Berlin","DOI":"10.1007\/3-540-36615-6"},{"key":"21_CR25","unstructured":"Reijers HA, van der Aalst WMP (1999) Short-term simulation: bridging the gap between operational control and strategic decision making. In: Proceedings of the IASTED conference on modeling and simulation, Philadelphia, USA, pp 417\u2013421"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"Rinderle S, Reichert M, Dadam P (2004) On dealing with structural conflicts between process type and instance changes. In: Proceedings of the 2nd international conference on business process management. LNCS, vol 3080, pp 274\u2013289","DOI":"10.1007\/978-3-540-25970-1_18"},{"issue":"1","key":"21_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2005.05.003","volume":"32","author":"M Rosemann","year":"2007","unstructured":"Rosemann M, van der Aalst WMP (2007) A configurable reference modeling language. Inf Syst 32(1):1\u201323","journal-title":"Inf Syst"},{"key":"21_CR140","doi-asserted-by":"crossref","unstructured":"Rosemann M, vom Brocke J (2014) The six core elements of business process management. In: vom Brocke J, Rosemann M (eds) Handbook on business process management, vol 1, 2nd edn. Springer, Heidelberg, pp 105\u2013122","DOI":"10.1007\/978-3-642-45100-3_5"},{"key":"21_CR28","doi-asserted-by":"crossref","unstructured":"Rozinat A, van der Aalst WMP (2005) Conformance testing: measuring the fit and appropriateness of event logs and process models. In: Proceedings of BPM 2005 workshops (workshop on business process intelligence). LNCS, vol 3812. Springer, Berlin, pp 163\u2013176","DOI":"10.1007\/11678564_15"},{"key":"21_CR29","doi-asserted-by":"crossref","unstructured":"Rozinat A, Wynn MT, van der Aalst WMP, ter Hofstede AHM, Fidge CJ (2008) Workflow simulation for operational decision support using design, historic and state information. In: Proceedings of the 6th international conference on business process management. LNCS, vol 5240. Springer, Heidelberg, pp 196\u2013211","DOI":"10.1007\/978-3-540-85758-7_16"},{"key":"21_CR30","unstructured":"Russell N, van der Aalst WMP, ter Hofstede AHM, Edmond D (2005a) Workflow resource patterns: Identification, representation and tool support. In: Proceedings of the 17th conference on advanced information systems engineering. LNCS, vol 3520. Springer, pp 216\u2013232"},{"key":"21_CR31","doi-asserted-by":"crossref","unstructured":"Russell N, ter Hofstede AHM, Edmond D, van der Aalst WMP (2005b) Workflow data patterns: Identification, representation and tool support. In: Proceedings of the 24th international conference on conceptual modeling. LNCS, vol 3716. Springer, Berlin, pp 353\u2013368","DOI":"10.1007\/11568322_23"},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Russell N, van der Aalst WMP, ter Hofstede AHM (2006a) Workflow exception patterns. In: Proceedings of the 18th international conference on advanced information systems engineering. LNCS, vol 5074. Springer, Berlin, pp 288\u2013302","DOI":"10.1007\/11767138_20"},{"key":"21_CR33","unstructured":"Russell N, ter Hofstede AHM, van der Aalst WMP, Mulyar N (2006b) Workflow control-flow patterns: a revised view. BPM Center Report BPM-06-22, BPMcenter.org"},{"key":"21_CR150","first-page":"421","volume-title":"Handbook on business process management","author":"A Sidorova","year":"2014","unstructured":"Sidorova A, Torres R, Al Beayeyz A (2014) The role of information technology in business process management. In: vom Brocke J, Rosemann M (eds) Handbook on business process management, vol 1, 2nd edn. Springer, Heidelberg, pp 421\u2013444","edition":"2"},{"key":"21_CR34","doi-asserted-by":"crossref","unstructured":"Tumay K (1996) Business process simulation. In: Proceedings of the 28th conference on winter simulation, pp 93\u201398","DOI":"10.1145\/256562.256581"},{"key":"21_CR35","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP (1997) Verification of workflow nets. In: Proceedings of the 18th application and theory of Petri nets. LNCS, vol 1248. Springer, Heidelberg, pp 407\u2013426","DOI":"10.1007\/3-540-63139-9_48"},{"key":"21_CR36","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP (2000) Workflow verification: finding control-flow errors using Petri net-based techniques. In: Business process management: models, techniques and empirical studies. LNCS, vol 1806. Springer, pp 19\u2013128","DOI":"10.1007\/3-540-45594-9_11"},{"issue":"3","key":"21_CR37","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1011409408711","volume":"3","author":"WMP van der Aalst","year":"2004","unstructured":"van der Aalst WMP (2004) Exterminating the dynamic change bug: a concrete approach to sup-port workflow change. Inform Syst Front 3(3):297\u2013317","journal-title":"Inform Syst Front"},{"issue":"4","key":"21_CR38","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WMP van der Aalst","year":"2005","unstructured":"van der Aalst WMP, ter Hofstede AHM (2005) YAWL: yet another workflow language. Inf Syst 30(4):245\u2013275","journal-title":"Inf Syst"},{"key":"21_CR39","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow management: models, methods, and systems","author":"WMP van der Aalst","year":"2002","unstructured":"van der Aalst WMP, van Hee KM (2002) Workflow management: models, methods, and systems. MIT press, Cambridge, MA"},{"issue":"3","key":"21_CR40","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"WMP van der Aalst","year":"2003","unstructured":"van der Aalst WMP, ter Hofstede AHM, Kiepuszewski B, Barros AP (2003) Workflow patterns. Distrib Parallel Database 14(3):5\u201351","journal-title":"Distrib Parallel Database"},{"key":"21_CR41","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, Aldred L, Dumas M, ter Hofstede AHM (2004a) Design and implementation of the YAWL system. In: Proceedings of the 16th international conference on ad-vanced information systems engineering. LNCS, vol 3084. Springer, Heidelberg, pp 142\u2013159","DOI":"10.1007\/978-3-540-25975-6_12"},{"issue":"9","key":"21_CR42","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP van der Aalst","year":"2004","unstructured":"van der Aalst WMP, Weijters AJMM, Maruster L (2004b) Workflow mining: discovering process models from event logs. IEEE Trans Knowl Data Eng 16(9):1128\u20131142","journal-title":"IEEE Trans Knowl Data Eng"},{"issue":"2","key":"21_CR43","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"WMP van der Aalst","year":"2005","unstructured":"van der Aalst WMP, Weske M, Gr\u00fcnbauer D (2005) Case handling: a new paradigm for business process support. Data Knowl Eng 53(2):129\u2013162","journal-title":"Data Knowl Eng"},{"key":"21_CR44","unstructured":"van der Aalst WMP, van den Brand PCW, van Dongen BF, G\u00fcnther CW, Mans RS, Alves de Medeiros AK, Rozinat A, Song M, Verbeek HMW, Weijters AJMM (2007a) Business process analysis with ProM. In: Proceeding of the 17th annual workshop on information technologies and systems, pp 223\u2013224"},{"issue":"2","key":"21_CR45","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1016\/j.dss.2006.11.005","volume":"43","author":"WMP van der Aalst","year":"2007","unstructured":"van der Aalst WMP, Rosemann M, Dumas M (2007b) Deadline-based escalation in process-aware information systems. Decis Support Syst 43(2):492\u2013511","journal-title":"Decis Support Syst"},{"key":"21_CR46","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, Dumas M, Gottschalk F, ter Hofstede AHM, La Rosa M, Mendling J (2008) Correctness-preserving configuration of business process models. In: Proceedings of fundamental approaches to software engineering. LNCS, vol 4961. Springer, pp 46\u201361","DOI":"10.1007\/978-3-540-78743-3_4"},{"key":"21_CR47","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP (2014) Business process simulation survival guide. In: vom Brocke J, Rosemann M (eds) Handbook on business process management, vol 1, 2nd edn. Springer, Heidelberg, pp 337\u2013370","DOI":"10.1007\/978-3-642-45100-3_15"},{"issue":"3","key":"21_CR48","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1093\/comjnl\/bxl074","volume":"50","author":"HMW Verbeek","year":"2007","unstructured":"Verbeek HMW, van der Aalst WMP, ter Hofstede AHM (2007) Verifying workflows with cancelation regions and OR-joins: an approach based on relaxed soundness and invariants. Comput J 50(3):294\u2013314","journal-title":"Comput J"},{"key":"21_CR49","unstructured":"Weijters AJMM, van der Aalst WMP, van Dongen B, G\u00fcnther C, Mans R, Alves de Medeiros AK, Rozinat A, Song M, Verbeek HMW (2007) Process mining with ProM. In: Proceedings of the 19th Belgium\u2013Netherlands conference on artificial intelligence, Utrecht, The Netherlands"},{"key":"21_CR50","volume-title":"Business process management: concepts, languages, architectures","author":"M Weske","year":"2007","unstructured":"Weske M (2007) Business process management: concepts, languages, architectures. Springer, Berlin"},{"key":"21_CR51","unstructured":"White S (2004) Process modeling notations and workflow patterns. BPTrends, pp 1\u201324"},{"key":"21_CR52","doi-asserted-by":"crossref","unstructured":"Wynn MT, Edmond D, van der Aalst WMP, ter Hofstede AHM (2005) Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets. In: Proceedings of the 26th international conference on application and theory of petri nets and other models of concurrency. LNCS, vol 3536. Springer, Heidelberg, pp 423\u2013443","DOI":"10.1007\/11494744_24"},{"key":"21_CR53","doi-asserted-by":"crossref","unstructured":"Wynn MT, van der Aalst WMP, ter Hofstede AHM, Edmond D (2006) Verifying workflows with cancelation regions and OR-joins: an approach based on reset nets and reachability analysis. In: Proceedings of the 4th international conference on business process management. LNCS, vol 4102. Springer, Berlin, pp 389\u2013394","DOI":"10.1007\/11841760_28"},{"key":"21_CR54","doi-asserted-by":"crossref","unstructured":"Wynn MT, Dumas M, Fidge CJ, ter Hofstede AHM, van der Aalst WMP (2007) Business process simulation for operational decision support. In: Proceedings of the 3rd international workshop on business process intelligence. LNCS, vol 4928. Springer, Berlin, pp 66\u201377","DOI":"10.1007\/978-3-540-78238-4_8"},{"issue":"6","key":"21_CR55","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1016\/j.ins.2008.10.033","volume":"179","author":"MT Wynn","year":"2009","unstructured":"Wynn MT, Verbeek HMW, van der Aalst WMP, ter Hofstede AHM, Edmond D (2009a) Reduction rules for reset workflow nets. Inf Sci 179(6):769\u2013790","journal-title":"Inf Sci"},{"issue":"6","key":"21_CR56","doi-asserted-by":"publisher","first-page":"1010","DOI":"10.1016\/j.infsof.2008.12.002","volume":"51","author":"MT Wynn","year":"2009","unstructured":"Wynn MT, Verbeek HMW, van der Aalst WMP, ter Hofstede AHM, Edmond D (2009b) Reduction rules for workflows with cancelation regions and OR-joins. Inform Softw Tech 51(6):1010\u20131020","journal-title":"Inform Softw Tech"},{"issue":"1","key":"21_CR57","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1108\/14637150910931479","volume":"15","author":"MT Wynn","year":"2009","unstructured":"Wynn MT, Verbeek HMW, van der Aalst WMP, ter Hofstede AHM, Edmond D (2009c) Business process verification \u2013 finally a reality! Bus Process Manage J 15(1):74\u201392","journal-title":"Bus Process Manage J"}],"container-title":["Handbook on Business Process Management 1"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45100-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T11:35:54Z","timestamp":1746358554000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-45100-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,11]]},"ISBN":["9783642450990","9783642451003"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45100-3_21","relation":{},"subject":[],"published":{"date-parts":[[2014,4,11]]},"assertion":[{"value":"11 April 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}