{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:56:23Z","timestamp":1759683383783},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386961"},{"type":"electronic","value":"9783642386978"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38697-8_16","type":"book-chapter","created":{"date-parts":[[2013,6,19]],"date-time":"2013-06-19T01:48:46Z","timestamp":1371606526000},"page":"291-310","source":"Crossref","is-referenced-by-count":12,"title":["Hierarchical Conformance Checking of Process Models Based on Event Logs"],"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":"16_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer (May 2011)","DOI":"10.1007\/978-3-642-19345-3"},{"issue":"5","key":"16_CR2","first-page":"14","volume":"21","author":"S. Rogers","year":"2011","unstructured":"Rogers, S.: Big data is scaling BI and analytics-data growth is about to accelerate exponentially. Information and Management - Brookfield\u00a021(5), 14 (2011)","journal-title":"Information and Management - Brookfield"},{"issue":"1","key":"16_CR3","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."},{"key":"16_CR4","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"},{"key":"16_CR5","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)"},{"issue":"7B","key":"16_CR6","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)"},{"key":"16_CR7","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","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.\u00a06551, pp. 25\u201341. Springer, Heidelberg (2011)"},{"key":"16_CR8","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":"16_CR9","unstructured":"van der Aalst, W.M.P.: Decomposing Petri nets for process mining: A generic approach. Technical Report BPM-12-20, BPM Center (September 2012)"},{"key":"16_CR10","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":"16_CR11","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.\u00a05240, pp. 100\u2013115. Springer, Heidelberg (2008)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","volume-title":"Lectures on Petri Nets I: Basic Models","author":"M. Silva","year":"1998","unstructured":"Silva, M., Teruel, E., Colom, J.M.: Linear algebraic and linear programming techniques for the analysis of place or transition net systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 309\u2013373. Springer, Heidelberg (1998)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-78238-4_10","volume-title":"Business Process Management Workshops","author":"A. Rozinat","year":"2008","unstructured":"Rozinat, A., de Medeiros, A.K.A., G\u00fcnther, C.W., Weijters, A.J.M.M.T., van der Aalst, W.M.P.: The need for a process mining evaluation framework in research and practice. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol.\u00a04928, pp. 84\u201389. Springer, Heidelberg (2008)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Adriansyah, A., Sidorova, N., van Dongen, B.F.: Cost-based fitness in conformance checking. In: Caillaud, B., Carmona, J., Hiraishi, K. (eds.) ACSD, pp. 57\u201366. IEEE (2011)","DOI":"10.1109\/ACSD.2011.19"},{"issue":"3","key":"16_CR15","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"W.M.P. Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput.\u00a023(3), 333\u2013363 (2011)","journal-title":"Formal Asp. Comput."},{"issue":"2","key":"16_CR16","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":"7","key":"16_CR17","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":"16_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: zur Muehlen, M., Su, J. (eds.) BPM 2010 Workshops. LNBIP, vol.\u00a066, pp. 214\u2013219. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38697-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,25]],"date-time":"2022-02-25T18:17:00Z","timestamp":1645813020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38697-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386961","9783642386978"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38697-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}