{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:19:38Z","timestamp":1742941178965,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319741604"},{"type":"electronic","value":"9783319741611"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-74161-1_1","type":"book-chapter","created":{"date-parts":[[2018,1,25]],"date-time":"2018-01-25T13:33:40Z","timestamp":1516887220000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Model and Event Log Reductions to Boost the Computation of Alignments"],"prefix":"10.1007","author":[{"given":"Farbod","family":"Taymouri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,26]]},"reference":[{"key":"1_CR1","unstructured":"Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Technische Universiteit Eindhoven (2014)"},{"issue":"1","key":"1_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, B.F., van der Aalst, W.M.P.: Measuring precision of modeled behavior. Inf. Syst. E-Bus. Manage. 13(1), 37\u201367 (2015)","journal-title":"Inf. Syst. E-Bus. Manage."},{"issue":"3","key":"1_CR3","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/FI-2013-809","volume":"123","author":"S Balaguer","year":"2013","unstructured":"Balaguer, S., Chatain, T., Haar, S.: Building occurrence nets from reveals relations. Fundam. Inform. 123(3), 245\u2013272 (2013)","journal-title":"Fundam. Inform."},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-662-05324-9_16","volume-title":"Petri Nets for Systems Engineering","author":"J. M. Colom","year":"2003","unstructured":"Colom, J.M., Teruel, E., Silva, M., Haddad, S.: Structural methods. In: Girault, C. (ed.) Petri Nets for Systems Engineering, pp. 277\u2013316. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-662-05324-9_16"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Haar, S.: Unfold and cover: qualitative diagnosability for petri nets. In: Proceedings of the 46th IEEE Conference on Decision and Control (CDC 2007), New Orleans, LA, USA, pp. 1886\u20131891. IEEE Control System Society (2007)","DOI":"10.1109\/CDC.2007.4434691"},{"issue":"6","key":"1_CR6","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/773473.178258","volume":"29","author":"R Johnson","year":"1994","unstructured":"Johnson, R., Pearson, D., Pingali, K.: The program structure tree: Computing control regions in linear time. SIGPLAN Not. 29(6), 171\u2013185 (1994)","journal-title":"SIGPLAN Not."},{"key":"1_CR7","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, W.M.P.: Single-entry single-exit decomposed conformance checking. Inf. Syst. 46, 102\u2013122 (2014)","journal-title":"Inf. Syst."},{"issue":"4","key":"1_CR8","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\u2013574 (1989)","journal-title":"Proc. IEEE"},{"issue":"3","key":"1_CR9","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0022-2836(70)90057-4","volume":"48","author":"SB Needleman","year":"1970","unstructured":"Needleman, S.B., Wunsch, C.D.: A general method applicable to the search for similarities in the amino acid sequence of two proteins. J. Mol. Biol. 48(3), 443\u2013453 (1970)","journal-title":"J. Mol. Biol."},{"key":"1_CR10","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-03848-8_16","volume-title":"Business Process Management","author":"A Polyvyanyy","year":"2009","unstructured":"Polyvyanyy, A., Smirnov, S., Weske, M.: The triconnected abstraction of process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 229\u2013244. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03848-8_16"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-19589-1_2","volume-title":"Web Services and Formal Methods","author":"A Polyvyanyy","year":"2011","unstructured":"Polyvyanyy, A., Vanhatalo, J., V\u00f6lzer, H.: Simplified computation and generalization of the refined process structure tree. In: Bravetti, M., Bultan, T. (eds.) WS-FM 2010. LNCS, vol. 6551, pp. 25\u201341. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19589-1_2"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Tarjan, R.E., Valdes, J.: Prime subprogram parsing of a program. In: Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1980, pp. 95\u2013105. ACM, New York (1980)","DOI":"10.1145\/567446.567456"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-45348-4_12","volume-title":"Business Process Management","author":"F Taymouri","year":"2016","unstructured":"Taymouri, F., Carmona, J.: A recursive paradigm for aligning observed behavior of large structured process models. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 197\u2013214. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_12"},{"key":"1_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining - Discovery, Conformance and Enhancement of Business Processes","author":"WMP van der Aalst","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)"},{"key":"1_CR16","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). https:\/\/doi.org\/10.1007\/978-3-319-59536-8_7"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-85758-7_10","volume-title":"Business Process Management","author":"J Vanhatalo","year":"2008","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Koehler, J.: The refined process structure tree. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 100\u2013115. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85758-7_10"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-319-39086-4_14","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"HMW Verbeek","year":"2016","unstructured":"Verbeek, H.M.W., van der Aalst, W.M.P.: Merging alignments for decomposed replay. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 219\u2013239. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39086-4_14"},{"issue":"3\u20134","key":"1_CR19","first-page":"399","volume":"113","author":"M Weidlich","year":"2011","unstructured":"Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Causal behavioural profiles\u00a0- efficient computation, applications, and evaluation. Fundam. Inf. 113(3\u20134), 399\u2013435 (2011)","journal-title":"Fundam. Inf."}],"container-title":["Lecture Notes in Business Information Processing","Data-Driven Process Discovery and Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74161-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T01:15:28Z","timestamp":1643073328000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-74161-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319741604","9783319741611"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74161-1_1","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"26 January 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SIMPDA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Data-Driven Process Discovery and Analysis","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Graz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 December 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"simpda2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}