{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:39:03Z","timestamp":1773653943783,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642401756","type":"print"},{"value":"9783642401763","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-40176-3_11","type":"book-chapter","created":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T03:54:12Z","timestamp":1374119652000},"page":"130-145","source":"Crossref","is-referenced-by-count":25,"title":["Conformance Checking in the Large: Partitioning and Topology"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Munoz-Gama","sequence":"first","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":"11_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"},{"key":"11_CR2","unstructured":"IEEE Task Force on Process Mining: Process Mining Manifesto. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) Business Process Management Workshops. LNBIP, vol.\u00a099, pp. 169\u2013194. Springer (2012)"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-642-19589-1_2","volume-title":"WS-FM 2010","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":"11_CR4","doi-asserted-by":"crossref","unstructured":"Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Hierarchical Conformance Checking of Process Models Based on Event Logs. In: Applications and Theory of Petri Nets (2013), TR: http:\/\/www.lsi.upc.edu\/~techreps\/files\/R13-5.zip","DOI":"10.1007\/978-3-642-38697-8_16"},{"issue":"2","key":"11_CR5","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/304399.304401","volume":"8","author":"J. Cook","year":"1999","unstructured":"Cook, J., Wolf, A.: Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model. ACM Transactions on Software Engineering and Methodology\u00a08(2), 147\u2013176 (1999)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"2","key":"11_CR6","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10618-006-0061-7","volume":"14","author":"A.K.A. Medeiros de","year":"2007","unstructured":"de Medeiros, A.K.A., Weijters, A.J.M.M., van der Aalst, W.M.P.: Genetic Process Mining: An Experimental Evaluation. Data Mining and Knowledge Discovery\u00a014(2), 245\u2013304 (2007)","journal-title":"Data Mining and Knowledge Discovery"},{"issue":"1","key":"11_CR7","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.\u00a033(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"issue":"2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"W.M.P. Aalst van der","year":"2012","unstructured":"van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.: Replaying History on Process Models for Conformance Checking and Performance Analysis. WIREs Data Mining and Knowledge Discovery\u00a02(2), 182\u2013192 (2012)","journal-title":"WIREs Data Mining and Knowledge Discovery"},{"key":"11_CR9","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: EDOC, pp. 55\u201364. IEEE Computer Society (2011)","DOI":"10.1109\/EDOC.2011.12"},{"issue":"7","key":"11_CR10","doi-asserted-by":"publisher","first-page":"654","DOI":"10.1016\/j.is.2012.02.004","volume":"37","author":"J.D. Weerdt","year":"2012","unstructured":"Weerdt, J.D., Backer, M.D., Vanthienen, J., Baesens, B.: A Multi-Dimensional Quality Assessment of State-of-the-Art Process Discovery Algorithms Using Real-Life Event Logs. Information Systems\u00a037(7), 654\u2013676 (2012)","journal-title":"Information Systems"},{"key":"11_CR11","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-642-36285-9_15","volume-title":"Business Process Management Workshops","author":"A. Adriansyah","year":"2013","unstructured":"Adriansyah, A., Munoz-Gama, J., Carmona, J., van Dongen, B.F., van der Aalst, W.M.P.: Alignment Based Precision Checking. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol.\u00a0132, pp. 137\u2013149. Springer, Heidelberg (2013)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Munoz-Gama, J., Carmona, J.: Enhancing Precision in Process Conformance: Stability, Confidence and Severity. In: Chawla, N., King, I., Sperduti, A. (eds.) IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011), Paris, France, pp. 184\u2013191. IEEE (April 2011)","DOI":"10.1109\/CIDM.2011.5949451"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Distributed Process Discovery and Conformance Checking. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 1\u201325. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-28872-2_1"},{"key":"11_CR14","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":"11_CR15","unstructured":"van der Aalst, W.M.P.: Decomposing Petri Nets for Process Mining: A Generic Approach. BPMCenter.org BPM-12-20 (accepted for Distributed and Parallel Databases) (2012)"},{"issue":"4","key":"11_CR16","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. Proceedings of the IEEE 77(4) ()\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE 77(4) ()"},{"issue":"9","key":"11_CR17","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":"11_CR18","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-20511-8_20","volume-title":"Business Process Management Workshops","author":"A. Burattin","year":"2011","unstructured":"Burattin, A., Sperduti, A.: Plg: A framework for the generation of business process models and their execution logs. In: Muehlen, M.z., Su, J. (eds.) BPM 2010 Workshops. LNBIP, vol.\u00a066, pp. 214\u2013219. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40176-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T17:15:14Z","timestamp":1646154914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40176-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401756","9783642401763"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40176-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}