{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T12:46:46Z","timestamp":1780922806591,"version":"3.54.1"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319694610","type":"print"},{"value":"9783319694627","type":"electronic"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-69462-7_38","type":"book-chapter","created":{"date-parts":[[2017,10,19]],"date-time":"2017-10-19T04:13:28Z","timestamp":1508386408000},"page":"607-627","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":27,"title":["Scalable Conformance Checking of Business Processes"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Rei\u00dfner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raffaele","family":"Conforti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marlon","family":"Dumas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcello","family":"La Rosa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Abel","family":"Armas-Cervantes","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,10,20]]},"reference":[{"issue":"1","key":"38_CR1","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10257-014-0234-7","volume":"13","author":"A Adriansyah","year":"2015","unstructured":"Adriansyah, A., Mu\u00f1oz-Gama, J., Carmona, J., van Dongen, B.F., van der Aalst, W.M.P.: Measuring precision of modeled behavior. IseB 13(1), 37\u201367 (2015)","journal-title":"IseB"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Conformance checking using cost-based fitness analysis. In: Proceeding of EDOC, pp. 55\u201364. IEEE (2011)","DOI":"10.1109\/EDOC.2011.12"},{"key":"38_CR3","unstructured":"Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Memory-efficient alignment of observed and modeled behavior. BPM Center Report (2013)"},{"key":"38_CR4","unstructured":"Alves de Medeiros, A.K.: Genetic Process Mining. PhD thesis, TU\/e (2006)"},{"key":"38_CR5","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1016\/j.is.2015.09.009","volume":"56","author":"A Armas-Cervantes","year":"2016","unstructured":"Armas-Cervantes, A., Baldan, P., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L.: Diagnosing behavioral differences between business process models: An approach based on event structures. Inf. Syst. 56, 304\u2013325 (2016)","journal-title":"Inf. Syst."},{"key":"38_CR6","unstructured":"Armas-Cervantes, A., Dumas, M., La Rosa, M.: Discovering local concurrency relations in business process event logs. eprint # 102438, QUT (2016)"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Armas-Cervantes, A., La Rosa, M., Dumas Menjivar, M., Garc\u00eda-Ba\u00f1uelos, L., van Beest, N.R.: Interactive and incremental business process model repair. eprint # 106611, QUT (2017)","DOI":"10.1007\/978-3-319-69462-7_5"},{"key":"38_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-319-46397-1_25","volume-title":"Conceptual Modeling","author":"A Augusto","year":"2016","unstructured":"Augusto, A., Conforti, R., Dumas, M., La Rosa, M., Bruno, G.: Automated discovery of structured process models: discover structured vs. discover and structure. In: Comyn-Wattiau, I., Tanaka, K., Song, I.-Y., Yamamoto, S., Saeki, M. (eds.) ER 2016. LNCS, vol. 9974, pp. 313\u2013329. Springer, Cham (2016). doi:10.1007\/978-3-319-46397-1_25"},{"issue":"2","key":"38_CR9","first-page":"300","volume":"29","author":"R Conforti","year":"2016","unstructured":"Conforti, R., La Rosa, M., ter Hofstede, A.H.M.: Filtering out infrequent behavior from business process event logs. IEEE TKDE 29(2), 300\u2013314 (2016)","journal-title":"IEEE TKDE"},{"key":"38_CR10","unstructured":"Curran, T., Keller, G.: SAP R\/3 Business Blueprint: Understanding the Business Process Reference Model. Upper Saddle River (1997)"},{"issue":"1","key":"38_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1162\/089120100561601","volume":"26","author":"J Daciuk","year":"2000","unstructured":"Daciuk, J., Mihov, S., Watson, B.W., Watson, R.E.: Incremental construction of minimal acyclic finite-state automata. Comput. Linguist. 26(1), 3\u201316 (2000)","journal-title":"Comput. Linguist."},{"key":"38_CR12","unstructured":"de Leoni, M., Mannhardt, F.: Road traffic fine management process (2015)"},{"key":"38_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-540-39964-3_25","volume-title":"On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE","author":"AKA de Medeiros","year":"2003","unstructured":"de Medeiros, A.K.A., van der Aalst, W.M.P., Weijters, A.J.M.M.: Workflow mining: current status and future directions. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) OTM 2003. LNCS, vol. 2888, pp. 389\u2013406. Springer, Heidelberg (2003). doi:10.1007\/978-3-540-39964-3_25"},{"key":"38_CR14","volume-title":"Z: An Introduction to Formal Methods","author":"A Diller","year":"1990","unstructured":"Diller, A.: Z: An Introduction to Formal Methods. Wiley, New York (1990)"},{"key":"38_CR15","doi-asserted-by":"publisher","unstructured":"Garc\u00eda-Ba\u00f1uelos, L., van Beest, N.R.T.P., Dumas, M., La Rosa, M.: Complete and interpretable conformance checking of business processes. IEEE Trans. Softw. Eng. (2017, to appear). doi:10.1109\/TSE.2017.2668418. IEEE Computer Society","DOI":"10.1109\/TSE.2017.2668418"},{"issue":"2","key":"38_CR16","first-page":"100","volume":"4","author":"PE Hart","year":"1968","unstructured":"Hart, P.E., Nilsson, N.J., Raphael, B.: A formal basis for the heuristic determination of minimum cost paths. IEEE TSSC 4(2), 100\u2013107 (1968)","journal-title":"IEEE TSSC"},{"key":"38_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-38697-8_17","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"SJJ Leemans","year":"2013","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 311\u2013329. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-38697-8_17"},{"key":"38_CR18","first-page":"1","volume":"16","author":"SJ Leemans","year":"2016","unstructured":"Leemans, S.J., Fahland, D., van der Aalst, W.M.: Scalable process discovery and conformance checking. Softw. Syst. Model. 16, 1\u201333 (2016)","journal-title":"Softw. Syst. Model."},{"key":"38_CR19","unstructured":"Lipton, R.: The reachability problem requires exponential space. Research Report 62, Department of Computer Science, Yale University, New Haven, Connecticut (1976)"},{"key":"38_CR20","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s00607-015-0441-1","volume":"98","author":"F Mannhardt","year":"2016","unstructured":"Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.M.P.: Balanced multi-perspective checking of process conformance. Computing 98, 407\u2013437 (2016)","journal-title":"Computing"},{"issue":"3","key":"38_CR21","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"EW Mayr","year":"1984","unstructured":"Mayr, E.W.: An algorithm for the general petri net reachability problem. SIAM J. Comput. 13(3), 441\u2013460 (1984)","journal-title":"SIAM J. Comput."},{"key":"38_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-15618-2_16","volume-title":"Business Process Management","author":"J Mu\u00f1oz-Gama","year":"2010","unstructured":"Mu\u00f1oz-Gama, J., Carmona, J.: A fresh look at precision in process conformance. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 211\u2013226. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-15618-2_16"},{"key":"38_CR23","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.is.2014.04.003","volume":"46","author":"J Mu\u00f1oz-Gama","year":"2014","unstructured":"Mu\u00f1oz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Single-entry single-exit decomposed conformance checking. Inf. Syst. 46, 102\u2013122 (2014)","journal-title":"Inf. Syst."},{"issue":"4","key":"38_CR24","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"issue":"4","key":"38_CR25","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/2980764","volume":"25","author":"A Polyvyanyy","year":"2016","unstructured":"Polyvyanyy, A., Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Wynn, M.T.: Impact-driven process model repair. ACM Trans. Softw. Eng. Methodol. (TOSEM) 25(4), 28 (2016)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"issue":"1","key":"38_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, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"issue":"1","key":"38_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., Hu, H.: Efficient alignment between event logs and process models. IEEE Trans. Serv. Comput. 10(1), 136\u2013149 (2017)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"38_CR28","unstructured":"Steeman, W.: Bpi challenge 2013, closed problems (2013)"},{"key":"38_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-319-59536-8_7","volume-title":"Advanced Information Systems Engineering","author":"B van Dongen","year":"2017","unstructured":"van Dongen, B., Carmona, J., Chatain, T., Taymouri, F.: Aligning modeled and observed behavior: a compromise between computation complexity and quality. In: Dubois, E., Pohl, K. (eds.) CAiSE 2017. LNCS, vol. 10253, pp. 94\u2013109. Springer, Cham (2017). doi:10.1007\/978-3-319-59536-8_7"},{"key":"38_CR30","doi-asserted-by":"crossref","unstructured":"vanden Broucke, S., De Weerdt, J., Vanthienen, J., Baesens, B.: An improved process event log artificial negative event generator. Technical Report KBI_1216, KU Leuven (2012)","DOI":"10.2139\/ssrn.2165204"},{"issue":"8","key":"38_CR31","first-page":"1877","volume":"26","author":"SKLM vanden Broucke","year":"2014","unstructured":"vanden Broucke, S.K.L.M., De Weerdt, J., Vanthienen, J., Baesens, B.: Determining process model precision and generalization with weighted artificial negative events. IEEE TKDE 26(8), 1877\u20131889 (2014)","journal-title":"IEEE TKDE"},{"key":"38_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-662-45563-0_20","volume-title":"On the Move to Meaningful Internet Systems: OTM 2014 Conferences","author":"SKLM vanden Broucke","year":"2014","unstructured":"vanden Broucke, S.K.L.M., Munoz-Gama, J., Carmona, J., Baesens, B., Vanthienen, J.: Event-based real-time decomposed conformance analysis. In: Meersman, R., Panetto, H., Dillon, T., Missikoff, M., Liu, L., Pastor, O., Cuzzocrea, A., Sellis, T. (eds.) OTM 2014. LNCS, vol. 8841, pp. 345\u2013363. Springer, Heidelberg (2014). doi:10.1007\/978-3-662-45563-0_20"},{"key":"38_CR33","first-page":"34","volume":"615","author":"HMW Verbeek","year":"2010","unstructured":"Verbeek, H.M.W., Buijs, J.C.A.M., Van Dongen, B.F., Van der Aalst, W.M.P.: Prom 6: The process mining toolkit. Proc. BPM Demonstr. Track 615, 34\u201339 (2010)","journal-title":"Proc. BPM Demonstr. Track"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems. OTM 2017 Conferences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69462-7_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T18:08:03Z","timestamp":1710266883000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-69462-7_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319694610","9783319694627"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69462-7_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"20 October 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"OTM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"OTM Confederated International Conferences \"On the Move to Meaningful Internet Systems\"","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"otm2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.otmconferences.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}