{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:43:40Z","timestamp":1761648220155},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662455623"},{"type":"electronic","value":"9783662455630"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45563-0_20","type":"book-chapter","created":{"date-parts":[[2014,10,17]],"date-time":"2014-10-17T21:42:19Z","timestamp":1413582139000},"page":"345-363","source":"Crossref","is-referenced-by-count":26,"title":["Event-Based Real-Time Decomposed Conformance Analysis"],"prefix":"10.1007","author":[{"given":"Seppe K. L. M.","family":"vanden Broucke","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Munoz-Gama","sequence":"additional","affiliation":[]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[]},{"given":"Bart","family":"Baesens","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Vanthienen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"20_CR1","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10619-013-7127-5","volume":"31","author":"W.M.P. Aalst van der","year":"2013","unstructured":"van der Aalst, W.M.P.: Decomposing Petri nets for process mining: A generic approach. Distributed and Parallel Databases\u00a031(4), 471\u2013507 (2013)","journal-title":"Distributed and Parallel Databases"},{"key":"20_CR2","unstructured":"Adriansyah, A., Mu\u00f1oz-Gama, J., Carmona, J.: Alignment Based Precision Checking. In: BPM Center Report, 12-10-2012 (2012)"},{"key":"20_CR3","series-title":"LNBIP","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: Muehlen, M.z., Su, J. (eds.) BPM 2010 Workshops. LNBIP, vol.\u00a066, pp. 122\u2013133. Springer, Heidelberg (2011)"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Adriansyah, A., van Dongen, B.F.: Conformance checking using cost-based fitness analysis. In: Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2011), pp. 55\u201364 (2011)","DOI":"10.1109\/EDOC.2011.12"},{"key":"20_CR5","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-642-36285-9_15","volume-title":"Business Process Management Workshops","author":"A. Adriansyah","year":"2013","unstructured":"Adriansyah, A., Munoz-Gama, J., Carmona, J., van Dongen, B.F., van der Aalst, W.M.P.: Alignment based precision checking. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. Lecture Notes in Business Information Processing, vol.\u00a0132, pp. 137\u2013149. Springer, Heidelberg (2013)"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/widm.45","volume":"2","author":"W. Aalst van der","year":"2012","unstructured":"van der Aalst, W., Adriansyah, A.: Replaying history on process models for conformance checking and performance analysis. WIREs Data Mining and Knowledge Discovery\u00a02, 1\u201318 (2012)","journal-title":"WIREs Data Mining and Knowledge Discovery"},{"issue":"1","key":"20_CR7","doi-asserted-by":"publisher","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.P.: Conformance checking of processes based on monitoring real behavior. Information Systems\u00a033(1), 64\u201395 (2008)","journal-title":"Information Systems"},{"issue":"3","key":"20_CR8","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1109\/TSE.2010.96","volume":"37","author":"M. Weidlich","year":"2011","unstructured":"Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioral profiles of process models. IEEE Trans. Software Eng.\u00a037(3), 410\u2013429 (2011)","journal-title":"IEEE Trans. Software Eng."},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-17358-5_1","volume-title":"Service-Oriented Computing","author":"S. Smirnov","year":"2010","unstructured":"Smirnov, S., Weidlich, M., Mendling, J.: Business process model abstraction based on behavioral profiles. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol.\u00a06470, pp. 1\u201316. Springer, Heidelberg (2010)"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-31131-4_5","volume-title":"Application and Theory of Petri Nets","author":"W.M.P. Aalst van der","year":"2012","unstructured":"van der Aalst, W.M.P.: Decomposing process mining problems using passages. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol.\u00a07347, pp. 72\u201391. Springer, Heidelberg (2012)"},{"key":"20_CR11","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.\u00a08094, pp. 130\u2013145. Springer, Heidelberg (2013)"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-642-38697-8_16","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"J. Munoz-Gama","year":"2013","unstructured":"Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Hierarchical conformance checking of process models based on event logs. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol.\u00a07927, pp. 291\u2013310. Springer, Heidelberg (2013)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Gal, A., Hadar, E.: Generic architecture of complex event processing systems. In: Hinze, A., Buchmann, A.P. (eds.) Principles and Applications of Distributed Event-Based Systems, pp. 1\u201318. IGI Global (2010)","DOI":"10.4018\/978-1-60566-697-6.ch001"},{"key":"20_CR14","unstructured":"Zarri, G.P.: Representation and processing of complex events. In: AAAI Spring Symposium: Intelligent Event Processing, p. 101. AAAI (2009)"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Kang, B., Lee, S.K., Bin Min, Y., Kang, S.H., Cho, N.W.: Real-time process quality control for business activity monitoring. In: Gavrilova, M.L., Gervasi, O., Taniar, D., Mun, Y., Iglesias, A. (eds.) ICCSA Workshops, pp. 237\u2013242. IEEE Computer Society (2009)","DOI":"10.1109\/ICCSA.2009.15"},{"issue":"4","key":"20_CR16","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1108\/14637151211253765","volume":"18","author":"C. Janiesch","year":"2012","unstructured":"Janiesch, C., Matzner, M., M\u00fcller, O.: Beyond process monitoring: a proof-of-concept of event-driven business activity management. Business Proc. Manag. Journal\u00a018(4), 625\u2013643 (2012)","journal-title":"Business Proc. Manag. Journal"},{"issue":"4","key":"20_CR17","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. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-642-19589-1_2","volume-title":"WS-FM","author":"A. Polyvyanyy","year":"2011","unstructured":"Polyvyanyy, A., Vanhatalo, J., V\u00f6lzer, H.: Simplified computation and generalization of the refined process structure tree. In: Bravetti, M., Bultan, T. (eds.) WS-FM 2010. LNCS, vol.\u00a06551, pp. 25\u201341. Springer, Heidelberg (2011)"},{"issue":"PrePrints","key":"20_CR19","first-page":"1","volume":"99","author":"S.K. vanden Broucke","year":"2013","unstructured":"vanden Broucke, S.K., Weerdt, J.D., Vanthienen, J., Baesens, B.: Determining process model precision and generalization with weighted artificial negative events. IEEE Transactions on Knowledge and Data Engineering\u00a099(PrePrints), 1 (2013)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"vanden Broucke, S., De Weerdt, J., Vanthienen, J., Baesens, B.: On replaying process execution traces containing positive and negative events. Feb research report kbi 1311, KU Leuven (2013)","DOI":"10.2139\/ssrn.2379366"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2014 Conferences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45563-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T05:21:16Z","timestamp":1565932876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45563-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662455623","9783662455630"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45563-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}