{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T01:55:37Z","timestamp":1770688537760,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662455623","type":"print"},{"value":"9783662455630","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45563-0_1","type":"book-chapter","created":{"date-parts":[[2014,10,18]],"date-time":"2014-10-18T01:42:19Z","timestamp":1413596539000},"page":"3-20","source":"Crossref","is-referenced-by-count":24,"title":["Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models"],"prefix":"10.1007","author":[{"given":"Massimiliano","family":"de Leoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Munoz-Gama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer (2011)","DOI":"10.1007\/978-3-642-19345-3"},{"issue":"1","key":"1_CR2","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. Information System\u00a033(1), 64\u201395 (2008)","journal-title":"Information System"},{"key":"1_CR3","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: Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2011), pp. 55\u201364. IEEE Computer Society (2011)","DOI":"10.1109\/EDOC.2011.12"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-642-40176-3_10","volume-title":"Business Process Management","author":"M. Leoni de","year":"2013","unstructured":"de Leoni, M., van der Aalst, W.M.P.: Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear programming. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol.\u00a08094, pp. 113\u2013129. Springer, Heidelberg (2013)"},{"key":"1_CR5","unstructured":"Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.M.P.: Balanced Multi-Perspective Checking of Process Conformance. BPM Center Report BPM-14-07 (2014)"},{"issue":"4","key":"1_CR6","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10619-013-7127-5","volume":"31","author":"W.M.P. Aalst van der","year":"2013","unstructured":"van der Aalst, W.M.P.: Decomposing Petri nets for process mining: A generic approach. Distributed and Parallel Databases\u00a031(4), 471\u2013507 (2013)","journal-title":"Distributed and Parallel Databases"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-31131-4_5","volume-title":"Application and Theory of Petri Nets","author":"W.M.P. Aalst van der","year":"2012","unstructured":"van der Aalst, W.M.P.: Decomposing process mining problems using passages. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol.\u00a07347, pp. 72\u201391. Springer, Heidelberg (2012)"},{"key":"1_CR8","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. Information Systems\u00a046, 102\u2013122 (2014)","journal-title":"Information Systems"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Montali, M., Chesani, F., Mello, P., Maggi, F.M.: Towards data-aware constraints in declare. In: Shin, S.Y., Maldonado, J.C. (eds.) SAC, pp. 1391\u20131396. ACM (2013)","DOI":"10.1145\/2480362.2480624"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.: Coloured Petri Nets. Springer (2009)","DOI":"10.1007\/b95112"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A.: Structuring process models. PhD thesis, University of Potsdam (2012)","DOI":"10.1016\/j.is.2011.10.005"},{"key":"1_CR12","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-16298-5_1","volume-title":"Business Process Modeling Notation","author":"M. Dumas","year":"2010","unstructured":"Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., Polyvyanyy, A.: Unraveling unstructured process models. In: Mendling, J., Weidlich, M., Weske, M. (eds.) BPMN 2010. LNBIP, vol.\u00a067, pp. 1\u20137. Springer, Heidelberg (2010)"},{"issue":"9","key":"1_CR13","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.: The refined process structure tree. Data Knowl. Eng.\u00a068(9), 793\u2013818 (2009)","journal-title":"Data Knowl. Eng."},{"key":"1_CR14","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":"7th International Workshop on 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. (ed.) WS-FM 2010. LNCS, vol.\u00a06551, pp. 25\u201341. Springer, Heidelberg (2011)"},{"key":"1_CR15","unstructured":"de Leoni, M., Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Decomposing Conformance Checking on Petri Nets with Data. BPM Center Report BPM-14-06 (2014)"},{"issue":"7B","key":"1_CR16","first-page":"5317","volume":"8","author":"J. Munoz-Gama","year":"2012","unstructured":"Munoz-Gama, J., Carmona, J.: A General Framework for Precision Checking. International Journal of Innovative Computing, Information and Control (IJICIC)\u00a08(7B), 5317\u20135339 (2012)","journal-title":"International Journal of Innovative Computing, Information and Control (IJICIC)"},{"issue":"7","key":"1_CR17","doi-asserted-by":"publisher","first-page":"654","DOI":"10.1016\/j.is.2012.02.004","volume":"37","author":"J. Weerdt De","year":"2012","unstructured":"De Weerdt, J., De Backer, M., Vanthienen, J., Baesens, B.: A multi-dimensional quality assessment of state-of-the-art process discovery algorithms using real-life event logs. Information System\u00a037(7), 654\u2013676 (2012)","journal-title":"Information System"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2014 Conferences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45563-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,20]],"date-time":"2022-04-20T03:16:29Z","timestamp":1650424589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45563-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662455623","9783662455630"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45563-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}