{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:43:27Z","timestamp":1742913807129,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662653029"},{"type":"electronic","value":"9783662653036"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-662-65303-6_2","type":"book-chapter","created":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T06:02:49Z","timestamp":1650348169000},"page":"24-48","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Defining Meaningful Local Process Models"],"prefix":"10.1007","author":[{"given":"Mitchel","family":"Brunings","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Fahland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boudewijn","family":"van Dongen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,4,20]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Augusto, A., Conforti, R., Dumas, M., La Rosa, M.: Split miner: discovering accurate and simple business process models from event logs. In: 2017 IEEE International Conference on Data Mining (ICDM), pp. 1\u201310. IEEE (2017)","key":"2_CR1","DOI":"10.1109\/ICDM.2017.9"},{"unstructured":"Brunings, M., Fahland, D., van Dongen, B.F.: Defining meaningful local process models. In: van der Aalst, W.M.P., Bergenthum, R., Carmona, J. (eds.) Proceedings of the International Workshop on Algorithms and Theories for the Analysis of Event Data 2020 Satellite event of the 41st International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2020, virtual workshop, 24 June 2020, volume 2625 of CEUR Workshop Proceedings, pp. 6\u201319. CEUR-WS.org (2020)","key":"2_CR2"},{"doi-asserted-by":"crossref","unstructured":"Debois, S., Hildebrandt, T.T., Laursen, PH., Ulrik, K.R.: Declarative process mining for DCR graphs. In: Proceedings of the SAC 2017 (2017)","key":"2_CR3","DOI":"10.1145\/3019612.3019622"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-02424-5_14","volume-title":"Applications and Theory of Petri Nets","author":"D Fahland","year":"2009","unstructured":"Fahland, D.: Oclets \u2013 scenario-based modeling with petri nets. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 223\u2013242. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02424-5_14"},{"key":"2_CR5","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-642-01862-6_29","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"D Fahland","year":"2009","unstructured":"Fahland, D., et al.: Declarative versus imperative process modeling languages: the issue of understandability. In: Halpin, T., et al. (eds.) BPMDS\/EMMSAD -2009. LNBIP, vol. 29, pp. 353\u2013366. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01862-6_29"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.is.2013.12.004","volume":"47","author":"C Favre","year":"2015","unstructured":"Favre, C., Fahland, D., V\u00f6lzer, H.: The relationship between workflow graphs and free-choice workflow nets. Inf. Syst. 47, 197\u2013219 (2015)","journal-title":"Inf. Syst."},{"key":"2_CR7","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-319-06257-0_6","volume-title":"Business Process Management Workshops","author":"SJJ Leemans","year":"2014","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs containing infrequent behaviour. In: Lohmann, N., Song, M., Wohed, P. (eds.) BPM 2013. LNBIP, vol. 171, pp. 66\u201378. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06257-0_6"},{"key":"2_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2019.101482","volume":"89","author":"V Leno","year":"2020","unstructured":"Leno, V., Dumas, M., Maggi, F.M., La Rosa, M., Polyvyanyy, A.: Automated discovery of declarative process models with correlated data conditions. Inf. Syst. 89, 101482 (2020)","journal-title":"Inf. Syst."},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-319-69462-7_11","volume-title":"On the Move to Meaningful Internet Systems. OTM 2017 Conferences","author":"X Lu","year":"2017","unstructured":"Lu, X., et al.: Semi-supervised log pattern detection and exploration using event concurrence and contextual information. In: Panetto, H., et al. (eds.) OTM 2017, Part I. LNCS, vol. 10573, pp. 154\u2013174. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69462-7_11"},{"issue":"2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.infsof.2009.08.004","volume":"52","author":"J Mendling","year":"2010","unstructured":"Mendling, J., Reijers, H.A., van der Aalst, W.M.P.: Seven process modeling guidelines (7PMG). Inf. Softw. Technol. 52(2), 127\u2013136 (2010)","journal-title":"Inf. Softw. Technol."},{"key":"2_CR11","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49451-7","volume-title":"Conformance Checking and Diagnosis in Process Mining","author":"J Munoz-Gama","year":"2016","unstructured":"Munoz-Gama, J., et al.: Conformance Checking and Diagnosis in Process Mining. LNBIP, Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49451-7"},{"key":"2_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03121-","volume-title":"Modern Business Process Automation","author":"M Pesic","year":"2010","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.: Declarative workflow. In: Hofstede, A., Adams, M., Russell, N. (eds.) Modern Business Process Automation. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-03121-"},{"key":"2_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4","volume-title":"Understanding Petri Nets - Modeling Techniques, Analysis Methods. Springer, Case Studies","author":"W Reisig","year":"2013","unstructured":"Reisig, W.: Understanding Petri Nets - Modeling Techniques, Analysis Methods. Springer, Case Studies. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-33278-4"},{"issue":"2","key":"2_CR14","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/j.jides.2016.11.001","volume":"3","author":"N Tax","year":"2016","unstructured":"Tax, N., Sidorova, N., Haakma, R., van der Aalst, W.M.P.: Mining local process models. J. Innov. Digit. Ecosyst. 3(2), 183\u2013196 (2016)","journal-title":"J. Innov. Digit. Ecosyst."},{"key":"2_CR15","first-page":"423","volume":"2015","author":"T Tom","year":"2015","unstructured":"Tom, T., Ternis, S.F., Fettke, P., Loos, P.: A comparative analysis of process instance cluster techniques. Wirtschaftsinformatik 2015, 423\u2013437 (2015)","journal-title":"Wirtschaftsinformatik"},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"WMP van der Aalst","year":"2012","unstructured":"van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.F.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdisc. Rev. Data Min. Knowl. Discov. 2(2), 182\u2013192 (2012)","journal-title":"Wiley Interdisc. Rev. Data Min. Knowl. Discov."},{"unstructured":"van Dongen, B.F.: BPI Challenge 2012 (2012)","key":"2_CR17"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XVI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-65303-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T06:03:43Z","timestamp":1650348223000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-65303-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783662653029","9783662653036"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-65303-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"20 April 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}