{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T03:40:01Z","timestamp":1780630801062,"version":"3.54.1"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319077338","type":"print"},{"value":"9783319077345","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-07734-5_6","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T13:57:34Z","timestamp":1404223054000},"page":"91-110","source":"Crossref","is-referenced-by-count":111,"title":["Discovering Block-Structured Process Models from Incomplete Event Logs"],"prefix":"10.1007","author":[{"given":"Sander J. J.","family":"Leemans","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dirk","family":"Fahland","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer (2011)","DOI":"10.1007\/978-3-642-19345-3"},{"key":"6_CR2","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-34044-4_3","volume-title":"Data-Driven Process Discovery and Analysis","author":"W. Aalst van der","year":"2012","unstructured":"van der Aalst, W., Buijs, J., van Dongen, B.: Towards improving the representational bias of process mining. In: Aberer, K., Damiani, E., Dillon, T. (eds.) SIMPDA 2011. LNBIP, vol.\u00a0116, pp. 39\u201354. Springer, Heidelberg (2012)"},{"issue":"9","key":"6_CR3","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W. Aalst van der","year":"2004","unstructured":"van der Aalst, W., Weijters, A., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng.\u00a016(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1998)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-31131-4_8","volume-title":"Application and Theory of Petri Nets","author":"E. Badouel","year":"2012","unstructured":"Badouel, E.: On the \u03b1-reconstructibility of workflow nets. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol.\u00a07347, pp. 128\u2013147. Springer, Heidelberg (2012)"},{"issue":"1","key":"6_CR6","doi-asserted-by":"crossref","first-page":"187","DOI":"10.3233\/FI-2009-147","volume":"95","author":"R. Bergenthum","year":"2009","unstructured":"Bergenthum, R., Desel, J., Mauser, S., Lorenz, R.: Synthesis of Petri nets from term based representations of infinite partial languages. Fundam. Inform.\u00a095(1), 187\u2013217 (2009)","journal-title":"Fundam. Inform."},{"issue":"1&2","key":"6_CR7","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0304-3975(95)00230-8","volume":"163","author":"S.L. Bloom","year":"1996","unstructured":"Bloom, S.L., \u00c9sik, Z.: Free shuffle algebras in language varieties. Theor. Comput. Sci.\u00a0163(1&2), 55\u201398 (1996)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Buijs, J., van Dongen, B., van der Aalst, W.: A genetic algorithm for discovering process trees. In: IEEE Congress on Evolutionary Computation, pp. 1\u20138. IEEE (2012)","DOI":"10.1109\/CEC.2012.6256458"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/s10618-011-0226-x","volume":"24","author":"J. Carmona","year":"2012","unstructured":"Carmona, J.: Projection approaches to process mining using region-based techniques. Data Mining and Knowledge Discovery\u00a024(1), 218\u2013246 (2012)","journal-title":"Data Mining and Knowledge Discovery"},{"issue":"8","key":"6_CR10","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J. Cortadella","year":"1998","unstructured":"Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving Petri nets for finite transition systems. IEEE Trans. Computers\u00a047(8), 859\u2013882 (1998)","journal-title":"IEEE Trans. Computers"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-44988-4_2","volume-title":"Application and Theory of Petri Nets 2000","author":"P. Darondeau","year":"2000","unstructured":"Darondeau, P.: Region based synthesis of P\/T-nets and its potential applications. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 16\u201323. Springer, Heidelberg (2000)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-540-27755-2_11","volume-title":"Lectures on Concurrency and Petri Nets","author":"P. Darondeau","year":"2004","unstructured":"Darondeau, P.: Unbounded Petri net synthesis. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 413\u2013438. Springer, Heidelberg (2004)"},{"key":"6_CR13","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 Systems\u00a037, 654\u2013676 (2012)","journal-title":"Information Systems"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"B.F. Dongen van","year":"2005","unstructured":"van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W., Weijters, A.J.M.M.T., van der Aalst, W.M.P.: The proM framework: A new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 444\u2013454. Springer, Heidelberg (2005)"},{"issue":"4","key":"6_CR15","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00264612","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures. Acta Informatica\u00a027(4), 343\u2013368 (1990)","journal-title":"Acta Informatica"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-540-75183-0_24","volume-title":"Business Process Management","author":"C.W. G\u00fcnther","year":"2007","unstructured":"G\u00fcnther, C.W., van der Aalst, W.M.P.: Fuzzy mining \u2013 adaptive process simplification based on multi-perspective metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 328\u2013343. Springer, Heidelberg (2007)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-38697-8_17","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"S.J.J. Leemans","year":"2013","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - A constructive approach. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol.\u00a07927, pp. 311\u2013329. Springer, Heidelberg (2013)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Leemans, S., Fahland, D., van der Aalst, W.: Discovering block-structured process models from event logs containing infrequent behaviour. In: Business Process Management Workshops. Springer (2013)","DOI":"10.1007\/978-3-319-06257-0_6"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Leemans, S., Fahland, D., van der Aalst, W.: Discovering block-structured process models from incomplete event logs. Tech. Rep. BPM-14-05, Eindhoven University of Technology (March 2014)","DOI":"10.1007\/978-3-319-07734-5_6"},{"key":"6_CR20","unstructured":"Linz, P.: An introduction to formal languages and automata. Jones & Bartlett Learning (2011)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Lorenz, R., Mauser, S., Juh\u00e1s, G.: How to synthesize nets from languages: a survey. In: Winter Simulation Conference, WSC, pp. 637\u2013647 (2007)","DOI":"10.1109\/WSC.2007.4419657"},{"key":"6_CR22","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":"6_CR23","doi-asserted-by":"crossref","unstructured":"Reisig, W., Schnupp, P., Muchnick, S.: Primer in Petri Net Design. Springer (1992)","DOI":"10.1007\/978-3-642-75329-9"},{"key":"6_CR24","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., 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 2007 Workshops. LNCS, vol.\u00a04928, pp. 84\u201389. Springer, Heidelberg (2008)"},{"key":"6_CR25","unstructured":"Rozinat, A., Veloso, M., van der Aalst, W.: Evaluating the quality of discovered process models. In: 2nd Int. Workshop on the Induction of Process Models, pp. 45\u201352 (2008)"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-45394-6_4","volume-title":"Conceptual Modeling for E-Business and the Web","author":"G. Schimm","year":"2000","unstructured":"Schimm, G.: Generic linear business process modeling. In: Mayr, H.C., Liddle, S.W., Thalheim, B. (eds.) ER Workshops 2000. LNCS, vol.\u00a01921, pp. 31\u201339. Springer, Heidelberg (2000)"},{"key":"6_CR27","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/3-540-45757-7_47","volume-title":"Logics in Artificial Intelligence","author":"G. Schimm","year":"2002","unstructured":"Schimm, G.: Process miner - A tool for mining process schemes from event-based data. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 525\u2013528. Springer, Heidelberg (2002)"},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/3-540-44895-0_3","volume-title":"Business Process Management","author":"G. Schimm","year":"2003","unstructured":"Schimm, G.: Mining most specific workflow models from event-based data. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 25\u201340. Springer, Heidelberg (2003)"},{"issue":"1","key":"6_CR29","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1142\/S0218843012400035","volume":"21","author":"S. Smirnov","year":"2012","unstructured":"Smirnov, S., Weidlich, M., Mendling, J.: Business process model abstraction based on synthesis from well-structured behavioral profiles. Int. J. Cooperative Inf. Syst.\u00a021(1), 55\u201383 (2012)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-13675-7_14","volume-title":"Applications and Theory of Petri Nets","author":"M. Sol\u00e9","year":"2010","unstructured":"Sol\u00e9, M., Carmona, J.: Process mining from a basis of state regions. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 226\u2013245. Springer, Heidelberg (2010)"},{"key":"6_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-31131-4_9","volume-title":"Application and Theory of Petri Nets","author":"M. Weidlich","year":"2012","unstructured":"Weidlich, M., van der Werf, J.M.: On profiles and footprints \u2013 relational semantics for petri nets. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol.\u00a07347, pp. 148\u2013167. Springer, Heidelberg (2012)"},{"issue":"3-4","key":"6_CR32","doi-asserted-by":"crossref","first-page":"399","DOI":"10.3233\/FI-2011-614","volume":"113","author":"M. Weidlich","year":"2011","unstructured":"Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Causal behavioural profiles - efficient computation, applications, and evaluation. Fundam. Inform.\u00a0113(3-4), 399\u2013435 (2011)","journal-title":"Fundam. Inform."},{"key":"6_CR33","unstructured":"Weijters, A., van der Aalst, W., de Medeiros, A.: Process mining with the heuristics miner-algorithm. BETA Working Paper series 166, Eindhoven University of Technology (2006)"},{"key":"6_CR34","doi-asserted-by":"crossref","unstructured":"Weijters, A., Ribeiro, J.: Flexible Heuristics Miner. In: CIDM, pp. 310\u2013317. IEEE (2011)","DOI":"10.1109\/CIDM.2011.5949453"},{"issue":"2","key":"6_CR35","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s10618-007-0065-y","volume":"15","author":"L. Wen","year":"2007","unstructured":"Wen, L., van der Aalst, W., Wang, J., Sun, J.: Mining process models with non-free-choice constructs. Data Mining and Knowledge Discovery\u00a015(2), 145\u2013180 (2007)","journal-title":"Data Mining and Knowledge Discovery"},{"key":"6_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-540-72524-4_38","volume-title":"Advances in Data and Web Management","author":"L. Wen","year":"2007","unstructured":"Wen, L., Wang, J., Sun, J.: Mining invisible tasks from event logs. In: Dong, G., Lin, X., Wang, W., Yang, Y., Yu, J.X. (eds.) APWeb\/WAIM 2007. LNCS, vol.\u00a04505, pp. 358\u2013365. Springer, Heidelberg (2007)"},{"issue":"3-4","key":"6_CR37","doi-asserted-by":"crossref","first-page":"387","DOI":"10.3233\/FI-2009-136","volume":"94","author":"J. Werf van der","year":"2009","unstructured":"van der Werf, J., van Dongen, B., Hurkens, C., Serebrenik, A.: Process discovery using integer linear programming. Fundam. Inform.\u00a094(3-4), 387\u2013412 (2009)","journal-title":"Fundam. Inform."},{"key":"6_CR38","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-36611-6_4","volume-title":"Enterprise Information Systems of the Future","author":"R. Yzquierdo-Herrera","year":"2013","unstructured":"Yzquierdo-Herrera, R., Silverio-Castro, R., Lazo-Cort\u00e9s, M.: Sub-process discovery: Opportunities for process diagnostics. In: Poels, G. (ed.) CONFENIS 2012. LNBIP, vol.\u00a0139, pp. 48\u201357. Springer, Heidelberg (2013)"}],"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-319-07734-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,10]],"date-time":"2022-04-10T05:33:48Z","timestamp":1649568828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07734-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077338","9783319077345"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07734-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}