{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:35:15Z","timestamp":1763663715477,"version":"3.37.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319740294"},{"type":"electronic","value":"9783319740300"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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-319-74030-0_12","type":"book-chapter","created":{"date-parts":[[2018,1,16]],"date-time":"2018-01-16T04:33:43Z","timestamp":1516077223000},"page":"165-177","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["A Framework for Online Conformance Checking"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Burattin","sequence":"first","affiliation":[]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,17]]},"reference":[{"key":"12_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, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19345-3"},{"issue":"2","key":"12_CR2","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"WM Aalst van der","year":"2012","unstructured":"van der Aalst, W.M., Adriansyah, A., van Dongen, B.: 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."},{"key":"12_CR3","unstructured":"Adriansyah, A.: Aligning observed and modeled behavior. Ph. D. thesis, Technische Universiteit Eindhoven (2014)"},{"key":"12_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-47534-9","volume-title":"Data Streams: Models and Algorithms, Advances in Database Systems","author":"CC Aggarwal","year":"2007","unstructured":"Aggarwal, C.C.: Data Streams: Models and Algorithms, Advances in Database Systems, vol. 31. Springer, Boston, MA (2007). https:\/\/doi.org\/10.1007\/978-0-387-47534-9"},{"key":"12_CR5","first-page":"1601","volume":"11","author":"A Bifet","year":"2010","unstructured":"Bifet, A., Holmes, G., Kirkby, R., Pfahringer, B.: MOA: massive online analysis learning examples. J. Mach. Learn. Res. 11, 1601\u20131604 (2010)","journal-title":"J. Mach. Learn. Res."},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-662-45563-0_20","volume-title":"On the Move to Meaningful Internet Systems: OTM 2014 Conferences","author":"SKLM Broucke vanden","year":"2014","unstructured":"vanden Broucke, S.K.L.M., Munoz-Gama, J., Carmona, J., Baesens, B., Vanthienen, J.: Event-based real-time decomposed conformance analysis. In: Meersman, R., Panetto, H., Dillon, T., Missikoff, M., Liu, L., Pastor, O., Cuzzocrea, A., Sellis, T. (eds.) OTM 2014. LNCS, vol. 8841, pp. 345\u2013363. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45563-0_20"},{"key":"12_CR7","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17482-2","volume-title":"Process Mining Techniques in Business Environments: Theoretical Aspects, Algorithms, Techniques and Open Challenges in Process Mining","author":"A Burattin","year":"2015","unstructured":"Burattin, A.: Process Mining Techniques in Business Environments: Theoretical Aspects, Algorithms, Techniques and Open Challenges in Process Mining. LNBIP, vol. 207. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-17482-2"},{"key":"12_CR8","unstructured":"Burattin, A.: PLG2 : Multiperspective process randomization with online and offline simulations. In: Proceedings of the BPM Demo Track. CEUR-WS.org (2016)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Burattin, A.: Online conformance checking for petri nets and event streams. In: Online Proceedings of BPM Demo Track. CEUR-WS.org (2017)","DOI":"10.1007\/978-3-319-74030-0_12"},{"issue":"6","key":"12_CR10","first-page":"833","volume":"8","author":"A Burattin","year":"2015","unstructured":"Burattin, A., Cimitile, M., Maggi, F.M., Sperduti, A.: Online discovery of declarative process models from event streams. IEEE TSC 8(6), 833\u2013846 (2015)","journal-title":"IEEE TSC"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Burattin, A., Maggi, F.M., Cimitile, M.: Lights, camera, action! business process movies for online process discovery. In: Proceedings of TAProViz (2014)","DOI":"10.1007\/978-3-319-15895-2_34"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Burattin, A., Sperduti, A., van der Aalst, W.M.: Control-flow discovery from event streams. In: Proceedings of IEEE CEC, pp. 2420\u20132427. IEEE (2014)","DOI":"10.1109\/CEC.2014.6900341"},{"issue":"2","key":"12_CR13","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/1083784.1083789","volume":"34","author":"MM Gaber","year":"2005","unstructured":"Gaber, M.M., Zaslavsky, A., Krishnaswamy, S.: Mining data streams: a review. ACM Sigmod Rec. 34(2), 18\u201326 (2005)","journal-title":"ACM Sigmod Rec."},{"key":"12_CR14","doi-asserted-by":"crossref","DOI":"10.1201\/EBK1439826119","volume-title":"Knowledge Discovery from Data Streams","author":"J Gama","year":"2010","unstructured":"Gama, J.: Knowledge Discovery from Data Streams. Chapman & Hall\/CRC, Boca Raton (2010)"},{"issue":"2","key":"12_CR15","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/776985.776986","volume":"32","author":"L Golab","year":"2003","unstructured":"Golab, L., \u00d6zsu, M.T.: Issues in data stream management. ACM SIGMOD Rec. 32(2), 5\u201314 (2003)","journal-title":"ACM SIGMOD Rec."},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10270-016-0545-x","volume-title":"Software & Systems Modeling","author":"SJJ Leemans","year":"2016","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Scalable process discovery and conformance checking. Software & Systems Modeling, pp. 1\u201333. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/s10270-016-0545-x"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-41030-7_7","volume-title":"On the Move to Meaningful Internet Systems: OTM 2013 Conferences","author":"FM Maggi","year":"2013","unstructured":"Maggi, F.M., Burattin, A., Cimitile, M., Sperduti, A.: Online process discovery to detect concept drifts in LTL-based declarative process models. In: Meersman, R., Panetto, H., Dillon, T., Eder, J., Bellahsene, Z., Ritter, N., De Leenheer, P., Dou, D. (eds.) OTM 2013. LNCS, vol. 8185, pp. 94\u2013111. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41030-7_7"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Maggi, F.M., Montali, M., van der Aalst, W.M.: An operational decision support framework for monitoring business constraints. In: Proceedings of FASE (2012)","DOI":"10.1007\/978-3-642-28872-2_11"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-23059-2_13","volume-title":"Business Process Management","author":"FM Maggi","year":"2011","unstructured":"Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132\u2013147. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23059-2_13"},{"key":"12_CR20","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 - Comparing Observed and Modeled Processes","author":"J Munoz-Gama","year":"2016","unstructured":"Munoz-Gama, J.:: Conformance Checking and Diagnosis in Process Mining - Comparing Observed and Modeled Processes. LNBIP. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49451-7"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-40176-3_11","volume-title":"Business Process Management","author":"J Munoz-Gama","year":"2013","unstructured":"Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Conformance checking in the large: partitioning and topology. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 130\u2013145. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40176-3_11"},{"issue":"4","key":"12_CR22","doi-asserted-by":"crossref","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"},{"issue":"1","key":"12_CR23","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"12_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10115-017-1057-x","volume":"53","author":"SJ Zelst van","year":"2017","unstructured":"van Zelst, S.J., van Dongen, B.F., van der Aalst, W.M.P.: Event stream-based process discovery using abstract representations. Knowl. Inf. Syst. 53, 1\u201329 (2017)","journal-title":"Knowl. Inf. Syst."}],"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-74030-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T07:33:39Z","timestamp":1570606419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74030-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319740294","9783319740300"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74030-0_12","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2018]]}}}