{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:05:36Z","timestamp":1725887136289},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319584560"},{"type":"electronic","value":"9783319584577"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-58457-7_6","type":"book-chapter","created":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T21:03:51Z","timestamp":1493931831000},"page":"74-86","source":"Crossref","is-referenced-by-count":1,"title":["Model Checking of Mixed-Paradigm Process Models in a Discovery Context"],"prefix":"10.1007","author":[{"given":"Johannes","family":"De Smedt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Di Ciccio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Vanthienen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,6]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining: Discovery, Conformance and Enhancement of Business Processes","author":"WM Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, New York (2011)"},{"unstructured":"Weijters, A., van der Aalst, W.M., De Medeiros, A.A.: Process mining with the heuristics miner-algorithm. TU Eindhoven, Technical report WP 166 (2006)","key":"6_CR2"},{"issue":"9","key":"6_CR3","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WM Aalst van der","year":"2004","unstructured":"van der Aalst, W.M., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(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":"368","DOI":"10.1007\/978-3-540-68746-7_24","volume-title":"Applications and Theory of Petri Nets","author":"JMEM Werf","year":"2008","unstructured":"Werf, J.M.E.M., Dongen, B.F., Hurkens, C.A.J., Serebrenik, A.: Process discovery using integer linear programming. In: Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 368\u2013387. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-68746-7_24"},{"doi-asserted-by":"publisher","unstructured":"Maggi, F.M., Mooij, A.J., van der Aalst, W.M.: User-guided discovery of declarative process models. In: CIDM, pp. 192\u2013199. IEEE (2011)","key":"6_CR5","DOI":"10.1109\/CIDM.2011.5949297"},{"doi-asserted-by":"publisher","unstructured":"Di Ciccio, C., Mecella, M.: A two-step fast algorithm for the automated discovery of declarative workflows. In: CIDM, pp. 135\u2013142. IEEE (2013)","key":"6_CR6","DOI":"10.1109\/CIDM.2013.6597228"},{"issue":"4","key":"6_CR7","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"doi-asserted-by":"publisher","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.: Declare: full support for loosely-structured processes. In: EDOC, p. 287. IEEE(2007)","key":"6_CR8","DOI":"10.1109\/EDOC.2007.14"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-319-10172-9_27","volume-title":"Business Process Management","author":"FM Maggi","year":"2014","unstructured":"Maggi, F.M., Slaats, T., Reijers, H.A.: The automated discovery of hybrid processes. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 392\u2013399. Springer, Cham (2014). doi:\n10.1007\/978-3-319-10172-9_27"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-662-45563-0_26","volume-title":"On the Move to Meaningful Internet Systems: OTM 2014 Conferences","author":"J Smedt","year":"2014","unstructured":"Smedt, J., Weerdt, J., Vanthienen, J.: Multi-paradigm process mining: retrieving better models by combining rules and sequences. In: Meersman, R., Panetto, H., Dillon, T., Missikoff, M., Liu, L., Pastor, O., Cuzzocrea, A., Sellis, T. (eds.) OTM 2014. LNCS, vol. 8841, pp. 446\u2013453. Springer, Heidelberg (2014). doi:\n10.1007\/978-3-662-45563-0_26"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.dss.2015.06.002","volume":"77","author":"J Smedt De","year":"2015","unstructured":"De Smedt, J., De Weerdt, J., Vanthienen, J.: Fusion miner: process discovery for mixed-paradigm models. Decis. Support Syst. 77, 123\u2013136 (2015)","journal-title":"Decis. Support Syst."},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-642-38697-8_22","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"M Westergaard","year":"2013","unstructured":"Westergaard, M.: CPN tools 4: multi-formalism and extensibility. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 400\u2013409. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-38697-8_22"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M Pesic","year":"2006","unstructured":"Pesic, M., Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM 2006. LNCS, vol. 4103, pp. 169\u2013180. Springer, Heidelberg (2006). doi:\n10.1007\/11837862_18"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s12599-015-0416-y","volume":"58","author":"J Smedt De","year":"2016","unstructured":"De Smedt, J., De Weerdt, J., Vanthienen, J., Poels, G.: Mixed-paradigm process modeling with intertwined state spaces. Bus. Inf. Syst. Eng. 58, 19\u201329 (2016)","journal-title":"Bus. Inf. Syst. Eng."},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-40176-3_24","volume-title":"Business Process Management","author":"M Westergaard","year":"2013","unstructured":"Westergaard, M., Slaats, T.: Mixing paradigms for more comprehensible models. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 283\u2013290. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-40176-3_24"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-319-23063-4_9","volume-title":"Business Process Management","author":"C Ciccio Di","year":"2015","unstructured":"Di Ciccio, C., Maggi, F.M., Montali, M., Mendling, J.: Ensuring model consistency in declarative process discovery. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 144\u2013159. Springer, Cham (2015). doi:\n10.1007\/978-3-319-23063-4_9"},{"unstructured":"Prescher, J., Di Ciccio, C., Mendling, J.: From declarative processes to imperative models. In: SIMPDA, pp. 162\u2013173 (2014)","key":"6_CR17"},{"issue":"4","key":"6_CR18","first-page":"24:1","volume":"5","author":"C Ciccio Di","year":"2015","unstructured":"Di Ciccio, C., Mecella, M.: On the discovery of declarative control flows for artful processes. ACM Trans. Manage. Inf. Syst. 5(4), 24:1\u201324:37 (2015)","journal-title":"ACM Trans. Manage. Inf. Syst."},{"unstructured":"Westergaard, M., Stahl, C., Reijers, H.A.: Unconstrainedminer: efficient discovery of generalized declarative process models. Technical report, BPMcenter (2013)","key":"6_CR19"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J Desel","year":"1998","unstructured":"Desel, J., Reisig, W.: Place\/transition petri nets. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 122\u2013173. Springer, Heidelberg (1998). doi:\n10.1007\/3-540-65306-6_15"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-39696-5_6","volume-title":"Advanced Information Systems Engineering","author":"J Smedt","year":"2016","unstructured":"Smedt, J., Weerdt, J., Serral, E., Vanthienen, J.: Improving understandability of declarative process models by revealing hidden dependencies. In: Nurcan, S., Soffer, P., Bajec, M., Eder, J. (eds.) CAiSE 2016. LNCS, vol. 9694, pp. 83\u201398. Springer, Cham (2016). doi:\n10.1007\/978-3-319-39696-5_6"},{"key":"6_CR22","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-36285-9_23","volume-title":"Business Process Management Workshops","author":"A Adriansyah","year":"2013","unstructured":"Adriansyah, A., Buijs, J.C.A.M.: Mining process performance from event logs. In: Rosa, M., Soffer, P. (eds.) BPM 2012. LNBIP, vol. 132, pp. 217\u2013218. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-36285-9_23"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58457-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T21:05:24Z","timestamp":1493931924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58457-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319584560","9783319584577"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58457-7_6","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2017]]}}}