{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T11:20:19Z","timestamp":1767612019450},"publisher-location":"Cham","reference-count":72,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319521794"},{"type":"electronic","value":"9783319521817"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-52181-7_2","type":"book-chapter","created":{"date-parts":[[2017,5,23]],"date-time":"2017-05-23T05:24:10Z","timestamp":1495517050000},"page":"15-48","source":"Crossref","is-referenced-by-count":8,"title":["Adaptive Process Management in Cyber-Physical Domains"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Marrella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,24]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber Physical Systems: Design Challenges. In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). IEEE Computer Society, pp. 363\u2013369 (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Weske, M.: Business Process Management\u2014Concepts, Languages, Architectures (2nd edn). Springer (2012)","DOI":"10.1007\/978-3-642-28616-2"},{"key":"2_CR3","unstructured":"Allweyer, T.: BPMN 2.0: Introduction to the Standard for Business Process Modeling. BoD\u2013Books on Demand (2010)"},{"key":"2_CR4","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., et\u00a0al.: Business Process Execution Language for Web Services. Version 1.1. (2003)"},{"issue":"1","key":"2_CR5","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s13740-014-0038-4","volume":"4","author":"C Ciccio Di","year":"2015","unstructured":"Di Ciccio, C., Marrella, A., Russo, A.: Knowledge-intensive processes: characteristics, requirements and analysis of contemporary approaches. J. Data Semant. 4(1), 29\u201357 (2015)","journal-title":"J. Data Semant."},{"key":"2_CR6","unstructured":"Di Ciccio, C., Marrella, A., Russo, A.: Knowledge-intensive processes: an overview of contemporary approaches. In: 1st International Workshop on Knowledge-intensive Business Processes (KiBP). CEUR Workshop Proceedings, vol. 861. CEUR-WS.org (2012)"},{"issue":"1","key":"2_CR7","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.datak.2006.04.007","volume":"61","author":"R Lenz","year":"2007","unstructured":"Lenz, R., Reichert, M.: IT support for healthcare processes\u2014premises, challenges, perspectives. Data Knowl. Eng. 61(1), 39\u201358 (2007)","journal-title":"Data Knowl. Eng."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Cossu, F., Marrella, A., Mecella, M., Russo, A., Bertazzoni, G., Suppa, M., Grasso, F.: Improving operational support in hospital wards through vocal interfaces and process-awareness. In: 25th International Symposium on Computer-Based Medical Systems (CBMS), pp. 1\u20136. IEEE Computer Society (2012)","DOI":"10.1109\/CBMS.2012.6266329"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Cossu, F., Marrella, A., Mecella, M., Russo, A., Kimani, S., Bertazzoni, G., Colabianchi, A., Corona, A., Luise, A.D., Grasso, F., Suppa, M.: Supporting doctors through mobile multimodal interaction and process-aware execution of clinical guidelines. In: 7th International Conference on Service-Oriented Computing and Applications (SOCA), pp. 183\u2013190. IEEE (2014)","DOI":"10.1109\/SOCA.2014.44"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Marrella, A., Mecella, M.: Continuous planning for solving business process adaptivity. In: 12th International Working Conference on Business Process Modeling, Development and Support (BPMDS). Lecture Notes in Business Information Processing, vol.\u00a081, pp. 118\u2013132. Springer (2011)","DOI":"10.1007\/978-3-642-21759-3_9"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Marrella, A., Russo, A., Mecella, M.: Planlets: automatically recovering dynamic processes in YAWL. In: 20th International Conference on Cooperative Information Systems (CoopIS). Lecture Notes in Computer Science, vol. 7565, pp. 268\u2013286. Springer (2012)","DOI":"10.1007\/978-3-642-33606-5_17"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Seiger, R., Keller, C., Niebling, F., Schlegel, T.: Modelling complex and flexible processes for smart cyber-physical environments. J. Comput. Sci. (2014)","DOI":"10.1016\/j.jocs.2014.07.001"},{"issue":"3","key":"2_CR13","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MC.2005.107","volume":"38","author":"S Helal","year":"2005","unstructured":"Helal, S., Mann, W., El-Zabadani, H., King, J., Kaddoura, Y., Jansen, E.: The gator tech smart house: a programmable pervasive space. IEEE Comput. 38(3), 50\u201360 (2005)","journal-title":"IEEE Comput."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Rajkumar, R.R., Lee, I., Sha, L., Stankovic, J.: Cyber-physical systems: the next computing revolution. In: 47th Design Automation Conference (DAC), pp. 731\u2013736. ACM (2010)","DOI":"10.1145\/1837274.1837461"},{"issue":"3\u20134","key":"2_CR15","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1023\/A:1008759413689","volume":"9","author":"M Klein","year":"2000","unstructured":"Klein, M., Dellarocas, C.: A knowledge-based approach to handling exceptions in workflow systems. Comput. Support. Coop. Work (CSCW) 9(3\u20134), 399\u2013412 (2000)","journal-title":"Comput. Support. Coop. Work (CSCW)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems - Challenges, Methods, Technologies. Springer (2012)","DOI":"10.1007\/978-3-642-30409-5"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Marrella, A., Mecella, M., Russo, A.: Featuring automatic adaptivity through workflow enactment and planning. In: 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), pp. 372\u2013381. ICST\/IEEE (2011)","DOI":"10.4108\/icst.collaboratecom.2011.247096"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Klein, M., Dellarocas, C., Bernstein, A.: Introduction to the special issue on adaptive workflow systems. Comput. Support. Coop. Work (CSCW) 9(3\u20134), 265\u2013267 (2000)","DOI":"10.1023\/A:1008764508237"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Sadiq, S., Orlowska, M.: On capturing exceptions in workflow process models. In: 3rd International Conference on Business Information Systems (BIS), pp. 3\u201319. Springer London (2000)","DOI":"10.1007\/978-1-4471-0761-3_1"},{"issue":"3","key":"2_CR20","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1145\/328939.328996","volume":"24","author":"F Casati","year":"1999","unstructured":"Casati, F., Ceri, S., Paraboschi, S., Pozzi, G.: Specification and implementation of exceptions in workflow management systems. ACM Trans. Database Syst. (TODS) 24(3), 405\u2013451 (1999)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Casati, F., Cugola, G.: Error handling in process support systems. In: Advances in Exception Handling Techniques (ECOOP). Lecture Notes in Computer Science, vol. 2022, pp. 251\u2013270. Springer (2001)","DOI":"10.1007\/3-540-45407-1_16"},{"key":"2_CR22","unstructured":"Eder, J., Liebhart, W.: The workflow activity model WAMO. In: Third International Conference on Cooperative Information Systems (CoopIS), pp. 87\u201398 (1995)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Eder, J., Liebhart, W.: Workflow recovery. In: First IFCIS International Conference on Cooperative Information Systems (CoopIS), pp. 124\u2013134. IEEE Computer Society (1996)","DOI":"10.1109\/COOPIS.1996.555004"},{"issue":"10","key":"2_CR24","doi-asserted-by":"crossref","first-page":"943","DOI":"10.1109\/32.879818","volume":"26","author":"C Hagen","year":"2000","unstructured":"Hagen, C., Alonso, G.: Exception handling in workflow management systems. IEEE Trans. Softw. Eng. 26(10), 943\u2013958 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"2_CR25","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1008388412284","volume":"13","author":"Z Luo","year":"2000","unstructured":"Luo, Z., Sheth, A., Kochut, K., Miller, J.: Exception handling in workflow systems. Appl. Intell. 13(2), 125\u2013147 (2000)","journal-title":"Appl. Intell."},{"key":"2_CR26","unstructured":"Adams, M.J.: Facilitating Dynamic Flexibility and Exception Handling for Workflows. Ph.D. thesis, Queensland University of Technology Brisbane, Australia (2007)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow exception patterns. Advanced Information Systems Engineering. Lecture Notes in Computer Science, vol. 4001, pp. 288\u2013302. Springer, Berlin Heidelberg (2006)","DOI":"10.1007\/11767138_20"},{"issue":"2","key":"2_CR28","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1109\/TSE.2010.1","volume":"36","author":"BS Lerner","year":"2010","unstructured":"Lerner, B.S., Christov, S., Osterweil, L.J., Bendraou, R., Kannengiesser, U., Wise, A.: Exception handling patterns for process modeling. IEEE Trans. Softw. Eng. 36(2), 162\u2013183 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Chiu, D.K.W., Li, Q., Karlapalem, K.: A logical framework for exception handling in ADOME workflow management system. In: 12th International Conference on Advanced Information Systems Engineering (CAiSE). Lecture Notes in Computer Science, vol. 1789, pp. 110\u2013125. Springer (2000)","DOI":"10.1007\/3-540-45140-4_9"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"ter Hofstede, A.H.M., van\u00a0der Aalst, W.M.P., Adams, M., Russell, N.: Modern Business Process Automation: YAWL and its Support Environment. Springer (2009)","DOI":"10.1007\/978-3-642-03121-2"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Weske, M.: Formal foundation and conceptual design of dynamic adaptations in a workflow management system. In: 34th Annual Hawaii International Conference on System Sciences (HICSS). IEEE Computer Society (2001)","DOI":"10.1109\/HICSS.2001.927082"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features\u2014enhancing flexibility in process-aware information systems. Data Knowl. Eng. 66(3), 438\u2013466 (2008)","DOI":"10.1016\/j.datak.2008.05.001"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Reichert, M., Weber, B.: Process Change Patterns: Recent Research, Use Cases, Research Directions. In: Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, pp. 397\u2013404. Springer (2013)","DOI":"10.1007\/978-3-642-36926-1_32"},{"issue":"1","key":"2_CR34","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/j.datak.2004.01.002","volume":"50","author":"S Rinderle","year":"2004","unstructured":"Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems\u2014a survey. Data Knowl. Eng. 50(1), 9\u201334 (2004)","journal-title":"Data Knowl. Eng."},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Rinderle, S., Weber, B., Reichert, M., Wild, W.: Integrating process learning and process evolution\u2014a semantics based approach. In: 3rd International Conference on Business Process Management (BPM). Springer (2005)","DOI":"10.1007\/11538394_17"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Weber, B., Wild, W., Breu, R.: CBRFlow: enabling adaptive workflow management through conversational case-based reasoning. Lecture Notes in Computer Science, vol. 3155, pp. 434\u2013448. Springer (2004)","DOI":"10.1007\/978-3-540-28631-8_32"},{"key":"2_CR37","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/j.is.2012.11.011","volume":"40","author":"M Minor","year":"2014","unstructured":"Minor, M., Bergmann, R., G\u00f6rg, S.: Case-based adaptation of workflows. Inf. Syst. 40, 142\u2013152 (2014)","journal-title":"Inf. Syst."},{"issue":"2","key":"2_CR38","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1008604709862","volume":"10","author":"M Reichert","year":"1998","unstructured":"Reichert, M., Dadam, P.: ADEPTflex\u2014supporting dynamic changes of workflows without losing control. J. Intell. Inf. Syst. 10(2), 93\u2013129 (1998)","journal-title":"J. Intell. Inf. Syst."},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Reichert, M., Rinderle, S., Dadam, P.: ADEPT workflow management system. In: Business Process Management (BPM). Lecture Notes in Computer Science, vol. 2678, pp. 370\u2013379. Springer (2003)","DOI":"10.1007\/3-540-44895-0_25"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Reichert, M., Rinderle, S., Kreher, U., Dadam, P.: Adaptive process management with ADEPT2. In: 21st International Conference on Data Engineering (ICDE), pp. 1113\u20131114. IEEE Computer Society (2005)","DOI":"10.1109\/ICDE.2005.17"},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Lanz, A., Reichert, M., Dadam, P.: Robust and flexible error handling in the AristaFlow BPM suite. In: Information Systems Evolution\u2014CAiSE Forum 2010, Selected Extended Paper. Lecture Notes in Business Information Processing, vol.\u00a072, pp. 174\u2013189. Springer (2011)","DOI":"10.1007\/978-3-642-17722-4_13"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"M\u00fcller, R., Greiner, U., Rahm, E.: AGENT WORK: a workflow system supporting rule-based workflow adaptation. Data Knowl. Eng. 51(2) (2004)","DOI":"10.1016\/j.datak.2004.03.010"},{"key":"2_CR43","unstructured":"Myers, K., Berry, P.: Workflow management systems: an AI perspective. AIC-SRI report (1998)"},{"issue":"1","key":"2_CR44","first-page":"15","volume":"3","author":"C Beckstein","year":"1999","unstructured":"Beckstein, C., Klausner, J.: A meta level architecture for workflow management. J. Integr. Des. Process Sci. 3(1), 15\u201326 (1999)","journal-title":"J. Integr. Des. Process Sci."},{"key":"2_CR45","unstructured":"Jarvis, P., Moore, J., Stader, J., Macintosh, A., du\u00a0Mont, A.C., Chung, P.: Exploiting AI technologies to realise adaptive workflow systems. AAAI Workshop on Agent-Based Systems in the Business Context (1999)"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"R-Moreno, M.D., Kearney, P.: Integrating AI planning techniques with workflow management system. Knowl. Based Syst. 15(5\u20136), 285\u2013291 (2002)","DOI":"10.1016\/S0950-7051(01)00167-8"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Gajewski, M., Meyer, H., Momotko, M., Schuschel, H., Weske, M.: Dynamic failure recovery of generated workflows. In: 16th International Workshop on Database and Expert Systems Applications (DEXA), pp. 982\u2013986. IEEE Computer Society Press (2005)","DOI":"10.1109\/DEXA.2005.78"},{"issue":"4","key":"2_CR48","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1142\/S0218843006001463","volume":"15","author":"H Ferreira","year":"2006","unstructured":"Ferreira, H., Ferreira, D.: An integrated life cycle for workflow management based on learning and planning. Int. J. Coop. Inf. Syst. 15(4), 485\u2013505 (2006)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"2_CR49","doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Pistore, M., Raik, H., Kazhamiakin, R.: Adaptation of service-based business processes by context-aware replanning. In: 4th International Conference on Service-Oriented Computing and Applications (SOCA), pp. 1\u20138 (2011)","DOI":"10.1109\/SOCA.2011.6166209"},{"key":"2_CR50","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/j.is.2013.07.003","volume":"39","author":"N Beest van","year":"2014","unstructured":"van Beest, N., Kaldeli, E., Bulanov, P., Wortmann, J., Lazovik, A.: Automated runtime repair of business processes. Inf. Syst. 39, 45\u201379 (2014)","journal-title":"Inf. Syst."},{"key":"2_CR51","unstructured":"Baheti, R., Gill, H.: Cyber-Physical Systems. The Impact of Control Technology. Technical Report (2011)"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"Neyem, A., Franco, D., Ochoa, S.F., Pino, J.A.: An approach to enable workflow in mobile work scenarios. In: 11th International Conference on Computer Supported Cooperative Work in Design IV (CSCWD), Lecture Notes in Computer Science, vol. 5236, pp. 498\u2013509. Springer (2007)","DOI":"10.1007\/978-3-540-92719-8_45"},{"issue":"1","key":"2_CR53","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MIC.2008.18","volume":"12","author":"T Catarci","year":"2008","unstructured":"Catarci, T., de Leoni, M., Marrella, A., Mecella, M., Salvatore, B., Vetere, G., Dustdar, S., Juszczyk, L., Manzoor, A., Truong, H.L.: Pervasive software environments for supporting disaster responses. IEEE Internet Comput. 12(1), 26\u201337 (2008)","journal-title":"IEEE Internet Comput."},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"Humayoun, S.R., Catarci, T., de\u00a0Leoni, M., Marrella, A., Mecella, M., Bortenschlager, M., Steinmann, R.: The WORKPAD user interface and methodology: developing smart and effective mobile applications for emergency operators. In: 5th International Conference on Universal Access in Human-Computer Interaction. Applications and Services (UAHCI). Lecture Notes in Computer Science, vol. 5616, pp. 343\u2013352. Springer (2009)","DOI":"10.1007\/978-3-642-02713-0_36"},{"issue":"1","key":"2_CR55","doi-asserted-by":"crossref","first-page":"32","DOI":"10.4018\/jiscrm.2011010103","volume":"3","author":"T Catarci","year":"2011","unstructured":"Catarci, T., de Leoni, M., Marrella, A., Mecella, M., Russo, A., Steinmann, R., Bortenschlager, M.: WORKPAD: process management and geo-collaboration help disaster response. Int. J. Inf. Syst. Crisis Response Manag. (IJISCRAM) 3(1), 32\u201349 (2011)","journal-title":"Int. J. Inf. Syst. Crisis Response Manag. (IJISCRAM)"},{"key":"2_CR56","unstructured":"Marrella, A., Mecella, M., Russo, A.: Collaboration on-the-field: suggestions and beyond. In: 8th International Conference on Information Systems for Crisis Response and Management (ISCRAM) (2011)"},{"key":"2_CR57","doi-asserted-by":"crossref","unstructured":"van\u00a0der Aalst, W.M.P.: Business process management: a comprehensive survey. ISRN Software Engineering (2013)","DOI":"10.1155\/2013\/507984"},{"key":"2_CR58","unstructured":"Marrella, A., Mecella, M., Sardina, S.: SmartPM: An adaptive process management system through situation calculus, indigolog, and classical planning. In: 14th International Conference on Principles of Knowledge Representation and Reasoning (KR). AAAI Press (2014)"},{"key":"2_CR59","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"De\u00a0Giacomo, G., Lesp\u00e9rance, Y., Levesque, H., Sardina, S.: IndiGolog: a high-level programming language for embedded reasoning agents. In: Multi-Agent Programming, pp. 31\u201372. Springer, US (2009)","DOI":"10.1007\/978-0-387-89299-3_2"},{"key":"2_CR61","volume-title":"Autom. Plan. Theory Pract.","author":"D Nau","year":"2004","unstructured":"Nau, D., Ghallab, M., Traverso, P.: Autom. Plan. Theory Pract. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (2004)"},{"key":"2_CR62","unstructured":"van Der\u00a0Aalst, W.M.P.: Three good reasons for using a petri-net-based workflow management system. In: International Working Conference on Information and Process Integration in Enterprises (IPIC\u201996), pp. 179\u2013201. Cambridge, Massachusetts (1996)"},{"key":"2_CR63","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets. In: Petri Nets: Central Models and their Properties, pp. 248\u2013299. Springer (1987)","DOI":"10.1007\/978-3-540-47919-2_10"},{"issue":"01","key":"2_CR64","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(01), 21\u201366 (1998)","journal-title":"J. Circuits Syst. Comput."},{"key":"2_CR65","doi-asserted-by":"crossref","unstructured":"Puhlmann, F., Weske, M.: Using the $$\\pi $$ \u03c0 -calculus for formalizing workflow patterns. Business Process Management (BPM). Lecture Notes in Computer Science, vol. 3649, pp. 153\u2013168. Springer, Berlin Heidelberg (2005)","DOI":"10.1007\/11538394_11"},{"key":"2_CR66","unstructured":"Meyer, A., Smirnov, S., Weske, M.: Data in Business Processes. No.\u00a050, Universit\u00e4tsverlag Potsdam (2011)"},{"key":"2_CR67","unstructured":"Reichgelt, H.: Knowledge representation: an AI perspective. Ablex (1991)"},{"key":"2_CR68","doi-asserted-by":"crossref","unstructured":"Brachman, R., Levesque, H.: Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc. (2004)","DOI":"10.1016\/B978-155860932-7\/50099-6"},{"key":"2_CR69","unstructured":"De\u00a0Giacomo, G., Reiter, R., Soutchanski, M.: Execution monitoring of high-level robot programs. In: 6th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 453\u2013465. Morgan Kaufmann (1998)"},{"key":"2_CR70","unstructured":"Gerevini, A., Saetti, A., Serina, I., Toninelli, P.: LPG-TD: a fully automated planner for PDDL2.2 domains. In: 14th International Conference on Automated Planning and Scheduling (ICAPS). International Planning Competition abstracts (2004)"},{"key":"2_CR71","doi-asserted-by":"crossref","unstructured":"Marrella, A., Lesp\u00e9rance, Y.: Towards a Goal-oriented framework for the automatic synthesis of underspecified activities in dynamic processes. In: 6th International Conference on Service-Oriented Computing and Applications (SOCA), pp. 361\u2013365. IEEE (2013)","DOI":"10.1109\/SOCA.2013.43"},{"key":"2_CR72","doi-asserted-by":"crossref","unstructured":"Marrella, A., Lesp\u00e9rance, Y.: Synthesizing a library of process templates through partial-order planning algorithms. In: 14th International Working Conference on Business Process Modeling, Development and Support (BPMDS). Lecture Notes in Business Information Processing, vol. 147, pp. 277\u2013291. Springer (2013)","DOI":"10.1007\/978-3-642-38484-4_20"}],"container-title":["Intelligent Systems Reference Library","Advances in Intelligent Process-Aware Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-52181-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T19:38:10Z","timestamp":1569353890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-52181-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319521794","9783319521817"],"references-count":72,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-52181-7_2","relation":{},"ISSN":["1868-4394","1868-4408"],"issn-type":[{"type":"print","value":"1868-4394"},{"type":"electronic","value":"1868-4408"}],"subject":[],"published":{"date-parts":[[2017]]}}}