{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T07:10:05Z","timestamp":1761808205553,"version":"3.37.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030008468"},{"type":"electronic","value":"9783030008475"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","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-030-00847-5_19","type":"book-chapter","created":{"date-parts":[[2018,9,25]],"date-time":"2018-09-25T08:11:26Z","timestamp":1537863086000},"page":"251-265","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":26,"title":["Interactive Data-Driven Process Model Construction"],"prefix":"10.1007","author":[{"given":"P. M.","family":"Dixit","sequence":"first","affiliation":[]},{"given":"H. M. W.","family":"Verbeek","sequence":"additional","affiliation":[]},{"given":"J. C. A. M.","family":"Buijs","sequence":"additional","affiliation":[]},{"given":"W. M. P.","family":"van der Aalst","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,26]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: On the representational bias in process mining. In: 2011 20th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 2\u20137, June 2011","DOI":"10.1109\/WETICE.2011.64"},{"issue":"9","key":"19_CR2","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, A.J.M.M., 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."},{"issue":"2","key":"19_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.3233\/ICA-2003-10205","volume":"10","author":"AJMM Weijters","year":"2003","unstructured":"Weijters, A.J.M.M., van der Aalst, W.M.P.: Rediscovering workflow models from event-based data using little thumb. Integr. Comput. Aided Eng. 10(2), 151\u2013162 (2003)","journal-title":"Integr. Comput. Aided Eng."},{"key":"19_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 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). https:\/\/doi.org\/10.1007\/978-3-540-68746-7_24"},{"issue":"8","key":"19_CR5","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 from finite transition systems. IEEE Trans. Comput. 47(8), 859\u2013882 (1998)","journal-title":"IEEE Trans. Comput."},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-540-75183-0_27","volume-title":"Business Process Management","author":"R Bergenthum","year":"2007","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process mining based on regions of languages. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 375\u2013383. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75183-0_27"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: A genetic algorithm for discovering process trees. In: 2012 IEEE Congress on Evolutionary Computation (CEC), pp. 1\u20138. IEEE (2012)","DOI":"10.1109\/CEC.2012.6256458"},{"key":"19_CR8","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":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-32885-5_19","volume-title":"Business Process Management","author":"D Fahland","year":"2012","unstructured":"Fahland, D., van der Aalst, W.M.P.: Repairing process models to reflect reality. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 229\u2013245. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32885-5_19"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., et al.: Soundness of workflow nets: classification, decidability, and analysis. Form. Asp. Comput. 23(3), 333\u2013363 (2011)","DOI":"10.1007\/s00165-010-0161-4"},{"issue":"12","key":"19_CR11","doi-asserted-by":"publisher","first-page":"3064","DOI":"10.1109\/TKDE.2013.156","volume":"26","author":"J Carmona","year":"2014","unstructured":"Carmona, J., Cortadella, J.: Process discovery algorithms using numerical abstract domains. IEEE Trans. Knowl. Data Eng. 26(12), 3064\u20133076 (2014)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-10172-9_7","volume-title":"Business Process Management","author":"R Conforti","year":"2014","unstructured":"Conforti, R., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., La Rosa, M.: Beyond tasks and gateways: discovering BPMN models with subprocesses, boundary events and activity markers. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 101\u2013117. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10172-9_7"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-00899-3_16","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"F Chesani","year":"2009","unstructured":"Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Exploiting inductive logic programming techniques for declarative process mining. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 278\u2013295. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00899-3_16"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-642-15280-1_28","volume-title":"Knowledge Science, Engineering and Management","author":"E Bellodi","year":"2010","unstructured":"Bellodi, E., Riguzzi, F., Lamma, E.: Probabilistic declarative process mining. In: Bi, Y., Williams, M.-A. (eds.) KSEM 2010. LNCS (LNAI), vol. 6291, pp. 292\u2013303. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15280-1_28"},{"issue":"4","key":"19_CR15","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.25300\/MISQ\/2016\/40.4.10","volume":"40","author":"D Breuker","year":"2016","unstructured":"Breuker, D., Matzner, M., Delfmann, P., Becker, J.: Comprehensible predictive models for business processes. MIS Q. 40(4), 1009\u20131034 (2016)","journal-title":"MIS Q."},{"key":"19_CR16","volume-title":"Free Choice Petri Nets","author":"J Desel","year":"2005","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets, vol. 40. Cambridge University Press, New York (2005)"},{"issue":"4","key":"19_CR17","doi-asserted-by":"publisher","first-page":"32:1","DOI":"10.1145\/2710020","volume":"9","author":"G Greco","year":"2015","unstructured":"Greco, G., Guzzo, A., Lupa, F., Luigi, P.: Process discovery under precedence constraints. ACM Trans. Knowl. Discov. Data 9(4), 32:1\u201332:39 (2015)","journal-title":"ACM Trans. Knowl. Discov. Data"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Maggi, F.M., Mooij, A.J., van der Aalst, W.M.P.: User-guided discovery of declarative process models. In: 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM), pp. 192\u2013199. IEEE (2011)","DOI":"10.1109\/CIDM.2011.5949297"},{"key":"19_CR19","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-319-53435-0_4","volume-title":"Data-Driven Process Discovery and Analysis","author":"PM Dixit","year":"2017","unstructured":"Dixit, P.M., Buijs, J.C.A.M., van der Aalst, W.M.P., Hompes, B.F.A., Buurman, J.: Using domain knowledge to enhance process mining results. In: Ceravolo, P., Rinderle-Ma, S. (eds.) SIMPDA 2015. LNBIP, vol. 244, pp. 76\u2013104. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-53435-0_4"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-642-45005-1_23","volume-title":"Service-Oriented Computing","author":"AJ Rembert","year":"2013","unstructured":"Rembert, A.J., Omokpo, A., Mazzoleni, P., Goodwin, R.T.: Process discovery using prior knowledge. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 328\u2013342. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45005-1_23"},{"key":"19_CR21","unstructured":"Mathern, B., Mille, A., Bellet, T.: An Interactive Method to Discover a Petri Net Model of an Activity. working paper or preprint, April 2010"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"La Rosa, M., et al.: Apromore: an advanced process model repository. Expert. Syst. Appl. 38(6), 7029\u20137040 (2011)","DOI":"10.1016\/j.eswa.2010.12.012"},{"key":"19_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-319-69462-7_5","volume-title":"On the Move to Meaningful Internet Systems","author":"A Armas-Cervantes","year":"2017","unstructured":"Armas-Cervantes, A., van Beest, N.R.T.P., La-Rosa, M., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L.: Interactive and incremental business process model repair. In: Panetto, H. (ed.) On the Move to Meaningful Internet Systems. LNCS, vol. 10573, pp. 53\u201374. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69462-7_5"},{"issue":"01","key":"19_CR24","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circuits Syst. Comput. 8(01), 21\u201366 (1998)","journal-title":"J. Circuits Syst. Comput."},{"key":"19_CR25","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-20511-8_11","volume-title":"Business Process Management Workshops","author":"A Adriansyah","year":"2011","unstructured":"Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Towards robust conformance checking. In: zur Muehlen, M., Su, J. (eds.) BPM 2010. LNBIP, vol. 66, pp. 122\u2013133. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20511-8_11"},{"key":"19_CR26","first-page":"1374","volume":"08","author":"SJJ Leemans","year":"2016","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Scalable process discovery and conformance checking. Softw. Syst. Model. 08, 1374\u20131619 (2016)","journal-title":"Softw. Syst. Model."}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00847-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T16:38:22Z","timestamp":1571935102000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00847-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030008468","9783030008475"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00847-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Xi'an","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.nwpu-bioinformatics.com\/ER2018\/index.php#content","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}