{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T23:40:08Z","timestamp":1751499608871,"version":"3.41.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319639628"},{"type":"electronic","value":"9783319639628"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-63962-8_95-1","type":"book-chapter","created":{"date-parts":[[2018,3,23]],"date-time":"2018-03-23T03:27:54Z","timestamp":1521775674000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Decomposed Process Discovery and Conformance Checking"],"prefix":"10.1007","author":[{"given":"Josep","family":"Carmona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,7]]},"reference":[{"unstructured":"Adriansyah A (2014) Aligning observed and modeled behavior. PhD thesis, Technische Universiteit Eindhoven","key":"95-1_CR1"},{"unstructured":"Arnold A (1994) Finite transition systems. Prentice Hall, Paris","key":"95-1_CR2"},{"doi-asserted-by":"publisher","unstructured":"Bose RPJC, van der Aalst WMP (2009a) Abstractions in process mining: a taxonomy of patterns. In: Proceedings of the 7th international conference business process management, BPM 2009, Ulm, 8\u201310 Sept 2009, pp 159\u2013175. https:\/\/doi.org\/10.1007\/978-3-642-03848-8_12","key":"95-1_CR3","DOI":"10.1007\/978-3-642-03848-8_12"},{"doi-asserted-by":"crossref","unstructured":"Bose RPJC, van der Aalst WMP (2009b) Context aware trace clustering: towards improving process mining results. In: Proceedings of the SIAM international conference on data mining, SDM 2009, 30 Apr\u2013May 2 2009, Sparks, pp 401\u2013412","key":"95-1_CR4","DOI":"10.1137\/1.9781611972795.35"},{"doi-asserted-by":"crossref","unstructured":"Bose RPJC, van der Aalst WMP (2009c) Trace clustering based on conserved patterns: towards achieving better process models. In: BPM 2009 international workshops business process management workshops, Ulm, 7 Sept 2009. Revised papers, pp 170\u2013181","key":"95-1_CR5","DOI":"10.1007\/978-3-642-12186-9_16"},{"doi-asserted-by":"publisher","unstructured":"Carmona J (2012) Projection approaches to process mining using region-based techniques. Data Min Knowl Discov 24(1):218\u2013246. https:\/\/doi.org\/10.1007\/s10618-011-0226-x","key":"95-1_CR6","DOI":"10.1007\/s10618-011-0226-x"},{"unstructured":"Carmona J, de Leoni M, Depaire B, Jouck T (2016) Summary of the process discovery contest 2016. In: Proceedings of the BPM 2016 workshops. LNBIP, vol 281, pp 7\u201310","key":"95-1_CR7"},{"doi-asserted-by":"publisher","unstructured":"de Leoni M, Munoz-Gama J, Carmona J, van der Aalst WMP (2014) Decomposing alignment-based conformance checking of data-aware process models. In: Proceedings on the move to meaningful internet systems: OTM 2014 conferences \u2013 confederated international conferences: CoopIS, and ODBASE 2014, Amantea, 27\u201331 Oct 2014, pp 3\u201320. https:\/\/doi.org\/10.1007\/978-3-662-45563-0_1","key":"95-1_CR8","DOI":"10.1007\/978-3-662-45563-0_1"},{"doi-asserted-by":"publisher","unstructured":"de San Pedro J, Cortadella J (2016) Mining structured Petri nets for the visualization of process behavior. In: Proceedings of the 31st annual ACM symposium on applied computing, Pisa, 4\u20138 Apr 2016, pp 839\u2013846. http:\/\/doi.acm.org\/10.1145\/2851613.2851645","key":"95-1_CR9","DOI":"10.1145\/2851613.2851645"},{"doi-asserted-by":"crossref","unstructured":"Ferreira DR, Zacarias M, Malheiros M, Ferreira P (2007) Approaching process mining with sequence clustering: experiments and findings. In: Proceedings of the business process management, 5th international conference, BPM 2007, Brisbane, 24\u201328 Sept 2007, pp 360\u2013374","key":"95-1_CR10","DOI":"10.1007\/978-3-540-75183-0_26"},{"doi-asserted-by":"publisher","unstructured":"Greco G, Guzzo A, Pontieri L, Sacc\u00e0 D (2006) Discovering expressive process models by clustering log traces. IEEE Trans Knowl Data Eng 18(8):1010\u20131027. https:\/\/doi.org\/10.1109\/TKDE.2006.123","key":"95-1_CR11","DOI":"10.1109\/TKDE.2006.123"},{"unstructured":"Hompes B, Buijs J, van der Aalst W, Dixit P, Buurman H (2015) Discovering deviating cases and process variants using trace clustering. In: Proceedings of the 27th benelux conference on artificial intelligence (BNAIC)","key":"95-1_CR12"},{"unstructured":"Leemans S (2009) Automated process discovery. In: Sakr and Zomaya (2017), pp 288\u2013289","key":"95-1_CR13"},{"doi-asserted-by":"publisher","unstructured":"Mans R, van der Aalst WMP, Vanwersch RJB (2015) Process mining in healthcare \u2013 evaluating and exploiting operational healthcare processes. Springer briefs in business process management. Springer. https:\/\/doi.org\/10.1007\/978-3-319-16071-9","key":"95-1_CR14","DOI":"10.1007\/978-3-319-16071-9"},{"key":"95-1_CR15","first-page":"288","volume":"2017","author":"J Mendling","year":"2009","unstructured":"Mendling J, Dumas M (2009) Business process event logs and visualization. In: Sakr and Zomaya (2017), pp 288\u2013289","journal-title":"In: Sakr and Zomaya"},{"key":"95-1_CR16","first-page":"288","volume":"2017","author":"J Munoz-Gama","year":"2009","unstructured":"Munoz-Gama J (2009) Conformance checking. In: Sakr and Zomaya (2017), pp 288\u2013289","journal-title":"In: Sakr and Zomaya"},{"key":"95-1_CR17","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 WMP (2014) Single-entry single-exit decomposed conformance checking. Inf Syst 46:102\u2013122. https:\/\/doi.org\/10.1016\/j.is.2014.04.003","journal-title":"Inf Syst"},{"issue":"4","key":"95-1_CR18","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"volume-title":"Encyclopedia of big data technologies","year":"2017","unstructured":"Sakr S, Zomaya A (eds) (2017) Encyclopedia of big data technologies. Springer, Berlin-Heidelberg","key":"95-1_CR19"},{"doi-asserted-by":"crossref","unstructured":"Sol\u00e9 M, Carmona J (2012) A high-level strategy for c-net discovery. In: 12th international conference on application of concurrency to system design, ACSD 2012, Hamburg, 27\u201329 June 2012, pp 102\u2013111","key":"95-1_CR20","DOI":"10.1109\/ACSD.2012.20"},{"key":"95-1_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process mining \u2013 discovery, conformance and enhancement of business processes","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst WMP (2011) Process mining \u2013 discovery, conformance and enhancement of business processes. Springer, Berlin-Heidelberg"},{"doi-asserted-by":"publisher","unstructured":"van der Aalst WMP (2012) Decomposing process mining problems using passages. In: Application and theory of petri nets \u2013 33rd international conference, PETRI NETS 2012, Hamburg, 25\u201329 June 2012. Proceedings, pp 72\u201391. https:\/\/doi.org\/10.1007\/978-3-642-31131-4_5","key":"95-1_CR22","DOI":"10.1007\/978-3-642-31131-4_5"},{"issue":"4","key":"95-1_CR23","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10619-013-7127-5","volume":"31","author":"WMP Aalst van der","year":"2013","unstructured":"van der Aalst WMP (2013) Decomposing petri nets for process mining: a generic approach. Distrib Parallel Databases 31(4):471\u2013507. https:\/\/doi.org\/10.1007\/s10619-013-7127-5","journal-title":"Distrib Parallel Databases"},{"issue":"1","key":"95-1_CR24","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/FI-2014-1006","volume":"131","author":"WMP Aalst van der","year":"2014","unstructured":"van der Aalst WMP, Verbeek HMW (2014) Process discovery and conformance checking using passages. Fundam Inform 131(1):103\u2013138","journal-title":"Fundam Inform"},{"issue":"1","key":"95-1_CR25","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s10270-008-0106-z","volume":"9","author":"WMP Aalst van der","year":"2010","unstructured":"van der Aalst WMP, Rubin VA, Verbeek HMW, van Dongen BF, Kindler E, G\u00fcnther CW (2010) Process mining: a two-step approach to balance between underfitting and overfitting. Softw Syst Model 9(1):87\u2013111. https:\/\/doi.org\/10.1007\/s10270-008-0106-z","journal-title":"Softw Syst Model"},{"doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, Adriansyah A, van Dongen BF (2011) Causal nets: a modeling language tailored towards process discovery. In: Proceedings of the CONCUR 2011 \u2013 concurrency theory \u2013 22nd international conference, CONCUR 2011, Aachen, 6\u20139 Sept 2011, pp 28\u201342","key":"95-1_CR26","DOI":"10.1007\/978-3-642-23217-6_3"},{"doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, Kalenkova AA, Rubin VA, Verbeek E (2015) Process discovery using localized events. In: Proceedings of the application and theory of Petri Nets and concurrency \u2013 36th international conference, PETRI NETS 2015, Brussels, 21\u201326 June 2015, pp 287\u2013308","key":"95-1_CR27","DOI":"10.1007\/978-3-319-19488-2_15"},{"doi-asserted-by":"publisher","unstructured":"vanden Broucke SKLM, Munoz-Gama J, Carmona J, Baesens B, Vanthienen J (2014) Event-based real-time decomposed conformance analysis. In: On the move to meaningful internet systems: OTM 2014 conferences \u2013 confederated international conferences: CoopIS, and ODBASE 2014, Amantea, 27\u201331 Oct 2014, Proceedings, pp 345\u2013363. https:\/\/doi.org\/10.1007\/978-3-662-45563-0_20","key":"95-1_CR28","DOI":"10.1007\/978-3-662-45563-0_20"},{"key":"95-1_CR29","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-662-55862-1_8","volume":"12","author":"HMW Verbeek","year":"2017","unstructured":"Verbeek HMW (2017) Decomposed replay using hiding and reduction as abstraction. Trans Petri Nets Other Models Concurr 12:166\u2013186","journal-title":"Trans Petri Nets Other Models Concurr"},{"unstructured":"Verbeek HMW, van der Aalst WMP (2016) Merging alignments for decomposed replay. In: Proceedings of the application and theory of petri nets and concurrency \u2013 37th international conference, PETRI NETS 2016, Toru\u0144, 19\u201324 June 2016, pp 219\u2013239","key":"95-1_CR30"},{"doi-asserted-by":"publisher","unstructured":"Weerdt JD, vanden Broucke SKLM, Vanthienen J, Baesens B (2013) Active trace clustering for improved process discovery. IEEE Trans Knowl Data Eng 25(12):2708\u20132720. https:\/\/doi.org\/10.1109\/TKDE.2013.64","key":"95-1_CR31","DOI":"10.1109\/TKDE.2013.64"}],"container-title":["Encyclopedia of Big Data Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63962-8_95-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T23:00:11Z","timestamp":1751497211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63962-8_95-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319639628","9783319639628"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63962-8_95-1","relation":{},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}