{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T08:19:18Z","timestamp":1770970758590,"version":"3.50.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319249520","type":"print"},{"value":"9783319249537","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24953-7_4","type":"book-chapter","created":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T15:00:11Z","timestamp":1444230011000},"page":"31-47","source":"Crossref","is-referenced-by-count":14,"title":["Unfolding-Based Process Discovery"],"prefix":"10.1007","author":[{"given":"Hern\u00e1n","family":"Ponce-de-Le\u00f3n","sequence":"first","affiliation":[]},{"given":"C\u00e9sar","family":"Rodr\u00edguez","sequence":"additional","affiliation":[]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[]},{"given":"Keijo","family":"Heljanko","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining - Discovery, Conformance and Enhancement of Business Processes","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer, New York (2011)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: On the representational bias in process mining. In: 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2011, France, pp. 2\u20137 (2011)","DOI":"10.1109\/WETICE.2011.64"},{"issue":"4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1142\/S0218843006001463","volume":"15","author":"H Ferreira","year":"2006","unstructured":"Ferreira, H., Ferreira, D.: An integrated life cycle for workflow management based on learning and planning. Int. J. Coop. Inf. Syst. 15(4), 485\u2013505 (2006)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-78469-2_16","volume-title":"Inductive Logic Programming","author":"E Lamma","year":"2008","unstructured":"Lamma, E., Mello, P., Riguzzi, F., Storari, S.: Applying inductive logic programming to process mining. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol. 4894, pp. 132\u2013146. Springer, Heidelberg (2008)"},{"key":"4_CR5","first-page":"1305","volume":"10","author":"S Goedertier","year":"2009","unstructured":"Goedertier, S., Martens, D., Vanthienen, J., Baesens, B.: Robust process discovery with artificial negative events. J. Mach. Learn. Res. 10, 1305\u20131340 (2009)","journal-title":"J. Mach. Learn. Res."},{"key":"4_CR6","unstructured":"Mazurkiewicz, A.W.: Trace theory. In: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, pp. 279\u2013324 (1986)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-319-19488-2_2","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"M Dumas","year":"2015","unstructured":"Dumas, M., Garc\u00eda-Ba\u00f1uelos, L.: Process mining reloaded: event structures as a unified representation of process models and event logs. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 33\u201348. Springer, Heidelberg (2015)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Ponce-de-Le\u00f3n, H., Rodr\u00edguez, C., Carmona, J., Heljanko, K., Haar, S.: Unfolding-based process discovery. CoRR abs\/1507.02744 (2015)","DOI":"10.1007\/978-3-319-24953-7_4"},{"issue":"3","key":"4_CR9","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"J Esparza","year":"2002","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding algorithm. Formal Methods Syst. Des. 20(3), 285\u2013310 (2002)","journal-title":"Formal Methods Syst. Des."},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theor. Comput. Sci. 13, 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S0218843014400012","volume":"23","author":"JCAM Buijs","year":"2014","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: Quality dimensions in process discovery: The importance of fitness, precision, generalization and simplicity. Int. J. Coop. Inf. Syst. 23(1), 1\u201339 (2014)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Seminar on Concurrency","author":"G Winskel","year":"1984","unstructured":"Winskel, G.: Categories of models for concurrency. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds.) Seminar on Concurrency. LNCS. Springer, Heidelberg (1984)"},{"issue":"4","key":"4_CR13","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1016\/j.is.2012.07.004","volume":"38","author":"D Fahland","year":"2013","unstructured":"Fahland, D., van der Aalst, W.M.P.: Simplifying discovered process models in a controlled manner. Inf. Syst. 38(4), 585\u2013605 (2013)","journal-title":"Inf. Syst."},{"issue":"8","key":"4_CR14","doi-asserted-by":"publisher","first-page":"1877","DOI":"10.1109\/TKDE.2013.130","volume":"26","author":"SKLM Broucke van den","year":"2014","unstructured":"van den Broucke, S.K.L.M., Weerdt, J.D., Vanthienen, J., Baesens, B.: Determining process model precision and generalization with weighted artificial negative events. IEEE Trans. Knowl. Data Eng. 26(8), 1877\u20131889 (2014)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11814948_18","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2006","author":"R Nieuwenhuis","year":"2006","unstructured":"Nieuwenhuis, R., Oliveras, A.: On SAT modulo theories and optimization problems. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol. 4121, pp. 156\u2013169. Springer, Heidelberg (2006)"},{"key":"4_CR16","unstructured":"The Model Checking Contest: Website. http:\/\/mcc.lip6.fr\/"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-540-68746-7_24","volume-title":"Applications and Theory of Petri Nets","author":"JMEM Werf van der","year":"2008","unstructured":"van der Werf, J.M.E.M., van Dongen, B.F., Hurkens, C.A.J., Serebrenik, A.: Process discovery using integer linear programming. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 368\u2013387. Springer, Heidelberg (2008)"},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10257-014-0234-7","volume":"13","author":"A Adriansyah","year":"2015","unstructured":"Adriansyah, A., Munoz-Gama, J., Carmona, J., van Dongen, B.F., van der Aalst, W.M.P.: Measuring precision of modeled behavior. Inf. Syst. E-Bus. Manag. 13(1), 37\u201367 (2015)","journal-title":"Inf. Syst. E-Bus. Manag."},{"key":"4_CR19","unstructured":"Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Technische Universiteit Eindhoven (2014)"},{"issue":"4","key":"4_CR20","first-page":"437","volume":"88","author":"R Bergenthum","year":"2008","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of petri nets from finite partial languages. Fundam. Inform. 88(4), 437\u2013468 (2008)","journal-title":"Fundam. Inform."},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-00899-3_14","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"R Bergenthum","year":"2009","unstructured":"Bergenthum, R., Desel, J., Mauser, S., Lorenz, R.: Construction of process models from example runs. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 243\u2013259. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24953-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,22]],"date-time":"2022-05-22T19:54:17Z","timestamp":1653249257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24953-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319249520","9783319249537"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24953-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}