{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:04:48Z","timestamp":1774915488229,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T00:00:00Z","timestamp":1559001600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T00:00:00Z","timestamp":1559001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Bus Inf Syst Eng"],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1007\/s12599-019-00601-7","type":"journal-article","created":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T10:24:39Z","timestamp":1559039079000},"page":"289-304","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Repairing Alignments of Process Models"],"prefix":"10.1007","volume":"62","author":[{"given":"Sebastiaan J.","family":"van Zelst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joos C. A. M.","family":"Buijs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Borja","family":"V\u00e1zquez-Barreiros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Lama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Mucientes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,28]]},"reference":[{"key":"601_CR1","unstructured":"Adriansyah A (2014) Aligning observed and modeled behavior. Ph.D. thesis, Eindhoven University of Technology, Department of Mathematics and Computer Science"},{"key":"601_CR4","doi-asserted-by":"crossref","unstructured":"Adriansyah A, van\u00a0Dongen BF, van\u00a0der Aalst WMP (2011) Conformance checking using cost-based fitness analysis. In: Proceedings of the 2011 IEEE 15th international enterprise distributed object computing conference, EDOC \u201911. IEEE Computer Society, Washington, DC, pp 55\u201364","DOI":"10.1109\/EDOC.2011.12"},{"key":"601_CR3","unstructured":"Adriansyah A, van Dongen BF, van der Aalst WMP (2013) Memory-efficient alignment of observed and modeled behavior. Technical report, BPM Center Report"},{"issue":"1","key":"601_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10257-014-0234-7","volume":"13","author":"A Adriansyah","year":"2015","unstructured":"Adriansyah A, Munoz-Gama J, Carmona J, van Dongen BF, van der Aalst WMP (2015) Measuring precision of modeled behavior. Inf Syst E Bus Manag 13(1):37\u201367","journal-title":"Inf Syst E Bus Manag"},{"key":"601_CR5","unstructured":"Alizadeh M, de\u00a0Leoni M, Zannone N (2014) History-based construction of log-process alignments for conformance checking: discovering what really went wrong. In: Accorsi, R, Paolo C, Barbara R (eds) Proceedings of the 4th international symposium on data-driven process discovery and analysis (SIMPDA 2014), Milan, Italy, November 19\u201321, 2014, volume 1293 of CEUR workshop proceedings. CEUR-WS.org, pp 1\u201315"},{"key":"601_CR6","unstructured":"Buijs Joos CAM (2014) Flexible evolutionary algorithms for mining structured process models. Ph.D. thesis, Eindhoven University of Technology"},{"key":"601_CR8","doi-asserted-by":"crossref","unstructured":"Burattin A, Sperduti A, van\u00a0der Aalst WMP (2014) Control-flow discovery from event streams. In: Proceedings of the IEEE congress on evolutionary computation, CEC 2014, Beijing, China, July 6\u201311, 2014. IEEE, pp 2420\u20132427","DOI":"10.1109\/CEC.2014.6900341"},{"issue":"6","key":"601_CR7","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1109\/TSC.2015.2459703","volume":"8","author":"A Burattin","year":"2015","unstructured":"Burattin A, Cimitile M, Maggi FM, Sperduti A (2015) Online discovery of declarative process models from event streams. IEEE Trans Serv Comput 8(6):833\u2013846","journal-title":"IEEE Trans Serv Comput"},{"key":"601_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99414-7","volume-title":"Conformance checking\u2013relating processes and models","author":"J Carmona","year":"2018","unstructured":"Carmona J, van Dongen BF, Solti A, Weidlich M (2018) Conformance checking\u2013relating processes and models. Springer, Berlin"},{"key":"601_CR10","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.eswa.2017.03.047","volume":"82","author":"M de Leoni","year":"2017","unstructured":"de Leoni M, Marrella A (2017) Aligning real process executions and prescriptive process models through automated planning. Expert Syst Appl 82:162\u2013183","journal-title":"Expert Syst Appl"},{"key":"601_CR11","doi-asserted-by":"crossref","unstructured":"de\u00a0Leoni M, Maggi Fabrizio M, van\u00a0der Aalst WMP (2012) Aligning event logs and declarative process models for conformance checking. In: Business process management\u201410th international conference, BPM 2012, Tallinn, Estonia, September 3\u20136, 2012. Proceedings, pp 82\u201397","DOI":"10.1007\/978-3-642-32885-5_6"},{"key":"601_CR13","doi-asserted-by":"crossref","unstructured":"de\u00a0Leoni M, van\u00a0der Aalst WMP (2013) Aligning event logs and process models for multi-perspective conformance checking: an approach based on integer linear programming. In: Business process management\u201411th international conference, BPM 2013, Beijing, China, August 26\u201330, 2013. Proceedings, pp 113\u2013129","DOI":"10.1007\/978-3-642-40176-3_10"},{"key":"601_CR12","doi-asserted-by":"crossref","unstructured":"de\u00a0Leoni M, Munoz-Gama J, Carmona J, van\u00a0der Aalst WMP (2014) Decomposing alignment-based conformance checking of data-aware process models. In: On the move to meaningful internet systems: otm 2014 conferences\u2014confederated international conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27\u201331, 2014, Proceedings, pp 3\u201320","DOI":"10.1007\/978-3-662-45563-0_1"},{"key":"601_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4","volume-title":"Fundamentals of business process management","author":"M Dumas","year":"2018","unstructured":"Dumas M, La Rosa M, Mendling J, Reijers HA (2018) Fundamentals of business process management, 2nd edn. Springer, Berlin","edition":"2"},{"key":"601_CR16","doi-asserted-by":"crossref","unstructured":"Fahland D, van\u00a0der Aalst WMP (2012) Repairing process models to reflect reality. In: Business process management\u201410th international conference, BPM 2012, Tallinn, Estonia, September 3\u20136, 2012. Proceedings, pp 229\u2013245","DOI":"10.1007\/978-3-642-32885-5_19"},{"key":"601_CR15","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/j.is.2013.12.007","volume":"47","author":"D Fahland","year":"2015","unstructured":"Fahland D, van der Aalst WMP (2015) Model repair-aligning process models to reality. Inf Syst 47:220\u2013243","journal-title":"Inf Syst"},{"issue":"2","key":"601_CR17","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"4","author":"PE Hart","year":"1968","unstructured":"Hart PE, Nilsson NJ, Raphael B (1968) A formal basis for the heuristic determination of minimum cost paths. IEEE Trans Syst Sci Cybern 4(2):100\u2013107","journal-title":"IEEE Trans Syst Sci Cybern"},{"key":"601_CR18","doi-asserted-by":"crossref","unstructured":"Hassani M, Siccha S, Richter F, Seidl T (2015) Efficient process discovery from event streams using sequential pattern mining. In: IEEE symposium series on computational intelligence, SSCI 2015, Cape Town, South Africa, December 7\u201310, 2015. IEEE, pp 1366\u20131373","DOI":"10.1109\/SSCI.2015.195"},{"key":"601_CR19","doi-asserted-by":"crossref","unstructured":"Leemans SJJ, Fahland D, van\u00a0der Aalst WMP (2013) Discovering block-structured process models from event logs\u2014a constructive approach. In: Colom JM, Desel J (eds) Application and theory of Petri nets and concurrency\u201434th international conference, PETRI NETS 2013, Milan, Italy, June 24\u201328, 2013. Proceedings, volume 7927 of Lecture Notes in Computer Science. Springer, pp 311\u2013329","DOI":"10.1007\/978-3-642-38697-8_17"},{"key":"601_CR20","doi-asserted-by":"crossref","unstructured":"Leemans SJJ, Fahland D, van\u00a0der Aalst WMP (2014a) Exploring processes and deviations. In: Business process management workshops-BPM 2014 international workshops, Eindhoven, The Netherlands, September 7\u20138, 2014. Revised Papers, pp 304\u2013316","DOI":"10.1007\/978-3-319-15895-2_26"},{"key":"601_CR21","unstructured":"Leemans SJJ, Fahland D, van\u00a0der Aalst WMP (2014b) Process and deviation exploration with inductive visual miner. In: Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th international conference on business process management (BPM 2014), Eindhoven, The Netherlands, September 10, 2014. pp 46"},{"key":"601_CR22","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.is.2014.04.003","volume":"46","author":"J Munoz-Gama","year":"2014","unstructured":"Munoz-Gama J, Carmona J, van der Aalst WMP (2014) Single-entry single-exit decomposed conformance checking. Inf Syst 46:102\u2013122","journal-title":"Inf Syst"},{"issue":"4","key":"601_CR23","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"},{"key":"601_CR24","doi-asserted-by":"crossref","unstructured":"Ostovar A, Maaradji A, La\u00a0Rosa M, ter\u00a0Hofstede AHM, van\u00a0Dongen BF (2016) Detecting drift from event streams of unpredictable business processes. In: Proceedings of the 35th international conference on conceptual modeling ER\u201916, volume 9974 of Lecture Notes in Computer Science., Springer, pp 330\u2013346","DOI":"10.1007\/978-3-319-46397-1_26"},{"issue":"4","key":"601_CR25","doi-asserted-by":"publisher","first-page":"28:1","DOI":"10.1145\/2980764","volume":"25","author":"A Polyvyanyy","year":"2017","unstructured":"Polyvyanyy A, van\u00a0der Aalst WMP, ter Hofstede AHM, Wynn MT (2017) Impact-driven process model repair. ACM Trans Softw Eng Methodol 25(4):28:1\u201328:60","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"1","key":"601_CR26","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat A, van der Aalst WMP (2008) Conformance checking of processes based on monitoring real behavior. Inf Syst 33(1):64\u201395","journal-title":"Inf Syst"},{"issue":"1","key":"601_CR27","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1109\/TSC.2016.2601094","volume":"10","author":"W Song","year":"2017","unstructured":"Song W, Xia X, Jacobsen H-A, Zhang P, Hao H (2017) Efficient alignment between event logs and process models. IEEE Trans Serv Comput 10(1):136\u2013149","journal-title":"IEEE Trans Serv Comput"},{"issue":"1","key":"601_CR29","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP van der Aalst","year":"1998","unstructured":"van der Aalst WMP (1998) The application of Petri nets to workflow management. J Circuits Syst Comput 8(1):21\u201366","journal-title":"J Circuits Syst Comput"},{"key":"601_CR33","doi-asserted-by":"crossref","unstructured":"van\u00a0der Aalst WMP (2012) Decomposing process mining problems using passages. In: Application and theory of Petri Nets-33rd international conference, PETRI NETS 2012, Hamburg, June 25\u201329, 2012. Proceedings, pp 72\u201391","DOI":"10.1007\/978-3-642-31131-4_5"},{"issue":"4","key":"601_CR30","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10619-013-7127-5","volume":"31","author":"WMP van der Aalst","year":"2013","unstructured":"van der Aalst WMP (2013) Decomposing Petri nets for process mining: a generic approach. Distrib Parallel Databases 31(4):471\u2013507","journal-title":"Distrib Parallel Databases"},{"key":"601_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process mining-data science in action","author":"WMP van der Aalst","year":"2016","unstructured":"van der Aalst WMP (2016) Process mining-data science in action, 2nd edn. Springer, Berlin","edition":"2"},{"issue":"2","key":"601_CR34","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"WMP van\u00a0der Aalst","year":"2012","unstructured":"van\u00a0der Aalst WMP, Adriansyah A, van Dongen BF (2012) Replaying history on process models for conformance checking and performance analysis. Wiley Interdiscip Rew Data Min Knowl Discov 2(2):182\u2013192","journal-title":"Wiley Interdiscip Rew Data Min Knowl Discov"},{"key":"601_CR35","unstructured":"van\u00a0Dongen BF (2015) BPI challenge 2015. 4TU.Centre for Research Data. Dataset"},{"key":"601_CR36","unstructured":"van\u00a0Dongen BF (2018) Efficiently computing alignments-using the extended marking equation. In: Business process management-16th international conference, BPM 2018, Sydney, NSW, Australia, September 9\u201314, 2018, Proceedings, pp 197\u2013214"},{"key":"601_CR37","unstructured":"van\u00a0Eck ML, Buijs JCAM, van\u00a0Dongen BF (2014) Genetic process mining: alignment-based process model mutation. In: Business process management workshops-BPM 2014 international workshops, Eindhoven, The Netherlands, September 7\u20138, 2014, Revised Papers, pp 291\u2013303"},{"key":"601_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/s41060-017-0078-6","author":"SJ van Zelst","year":"2017","unstructured":"van\u00a0Zelst SJ, Bolt A, Hassani M, van\u00a0Dongen BF, van\u00a0der Aalst WMP (2017) Online conformance checking: relating event streams to process models using prefix-alignments. Int J Data Sci Anal. \nhttps:\/\/doi.org\/10.1007\/s41060-017-0078-6","journal-title":"Int J Data Sci Anal"},{"key":"601_CR31","doi-asserted-by":"crossref","unstructured":"van Zelst SJ, Bolt A, van Dongen BF (2018a) Computing alignments of event data and process models. In: Transactions on Petri nets and other models of concurrency, vol 13. pp 1\u201326","DOI":"10.1007\/978-3-662-58381-4_1"},{"issue":"2","key":"601_CR32","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s10115-017-1060-2","volume":"54","author":"SJ van Zelst","year":"2018","unstructured":"van Zelst SJ, van Dongen BF, van der Aalst WMP (2018b) Event stream-based process discovery using abstract representations. Knowl Inf Syst 54(2):407\u2013435","journal-title":"Knowl Inf Syst"},{"issue":"9","key":"601_CR39","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1016\/j.datak.2009.02.015","volume":"68","author":"J Vanhatalo","year":"2009","unstructured":"Vanhatalo J, V\u00f6lzer H, Koehler J (2009) The refined process structure tree. Data Knowl Eng 68(9):793\u2013818","journal-title":"Data Knowl Eng"},{"key":"601_CR40","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1016\/j.ins.2016.09.008","volume":"373","author":"B V\u00e1zquez-Barreiros","year":"2016","unstructured":"V\u00e1zquez-Barreiros B, Mucientes M, Lama M (2016a) Enhancing discovered processes with duplicate tasks. Inf Sci 373:369\u2013387","journal-title":"Inf Sci"},{"key":"601_CR41","doi-asserted-by":"crossref","unstructured":"V\u00e1zquez-Barreiros B, van\u00a0Zelst SJ, Buijs JCAM, Lama M, Mucientes M (2016b) Repairing alignments: striking the right nerve. In: Enterprise, business-process and information systems modeling\u201417th international conference, BPMDS 2016, 21st international conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13\u201314, 2016, Proceedings, pp 266\u2013281","DOI":"10.1007\/978-3-319-39429-9_17"}],"container-title":["Business & Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12599-019-00601-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12599-019-00601-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12599-019-00601-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T21:15:20Z","timestamp":1596230120000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12599-019-00601-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,28]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["601"],"URL":"https:\/\/doi.org\/10.1007\/s12599-019-00601-7","relation":{},"ISSN":["2363-7005","1867-0202"],"issn-type":[{"value":"2363-7005","type":"print"},{"value":"1867-0202","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,5,28]]},"assertion":[{"value":"22 January 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 May 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 May 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}