{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T01:24:32Z","timestamp":1775525072825,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662455005","type":"print"},{"value":"9783662455012","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45501-2_5","type":"book-chapter","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T10:31:28Z","timestamp":1415961088000},"page":"58-72","source":"Crossref","is-referenced-by-count":12,"title":["Matching of Events and Activities - An Approach Based on Constraint Satisfaction"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Baier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Rogge-Solti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer (2011)","DOI":"10.1007\/978-3-642-19345-3"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Baier, T., Mendling, J., Weske, M.: Bridging abstraction layers in process mining. Information Systems (2014)","DOI":"10.1016\/j.is.2014.04.004"},{"key":"5_CR3","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-20511-8_10","volume-title":"Business Process Management Workshops","author":"J. Li","year":"2011","unstructured":"Li, J., Bose, R.P.J.C., van der Aalst, W.M.P.: Mining context-dependent and interactive business process maps using execution patterns. In: Muehlen, M.z., Su, J. (eds.) BPM 2010 Workshops. LNBIP, vol.\u00a066, pp. 109\u2013121. Springer, Heidelberg (2011)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Castillo, R., Weber, B., de Guzm\u00e1n, I.G.R., Piattini, M., Pinggera, J.: Assessing event correlation in non-process-aware information systems. Software and Systems Modeling, 1\u201323 (2012)","DOI":"10.1007\/s10270-012-0285-5"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Rozsnyai, S., Slominski, A., Lakshmanan, G.T.: Discovering event correlation rules for semi-structured business processes. In: Proceedings of the 5th ACM International Conference on Distributed Event-based System, pp. 75\u201386 (2011)","DOI":"10.1145\/2002259.2002272"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-45005-1_27","volume-title":"Service-Oriented Computing","author":"A. Rogge-Solti","year":"2013","unstructured":"Rogge-Solti, A., Weske, M.: Prediction of remaining service execution time using stochastic petri nets with arbitrary firing delays. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol.\u00a08274, pp. 389\u2013403. Springer, Heidelberg (2013)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Freuder, E., Mackworth, A.: Constraint satisfaction: An emerging paradigm. In: Handbook of Constraint Programming. Foundations of Artificial Intelligence, vol.\u00a02, pp. 13\u201327. Elsevier (2006)","DOI":"10.1016\/S1574-6526(06)80006-4"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-00899-3_3","volume":"2","author":"N. Lohmann","year":"2009","unstructured":"Lohmann, N., Verbeek, E., Dijkman, R.M.: Petri net transformations for business processes - a survey. T. Petri Nets and Other Models of Concurrency\u00a02, 46\u201363 (2009)","journal-title":"T. Petri Nets and Other Models of Concurrency"},{"issue":"5","key":"5_CR10","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1016\/j.datak.2011.01.004","volume":"70","author":"D. Fahland","year":"2011","unstructured":"Fahland, D., Favre, C., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Analysis on demand: Instantaneous soundness checking of industrial business process models. Data & Knowledge Engineering\u00a070(5), 448\u2013466 (2011)","journal-title":"Data & Knowledge Engineering"},{"key":"5_CR11","unstructured":"G\u00fcnther, C.W., van der Aalst, W.M.P.: Mining activity clusters from low-level event logs. In: BETA Working Paper Series. Volume WP 165, Eindhoven University of Technology (2006)"},{"key":"5_CR12","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-12186-9_13","volume-title":"Business Process Management Workshops","author":"C.W. G\u00fcnther","year":"2010","unstructured":"G\u00fcnther, C.W., Rozinat, A., van der Aalst, W.M.P.: Activity mining by global trace segmentation. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol.\u00a043, pp. 128\u2013139. Springer, Heidelberg (2010)"},{"issue":"3","key":"5_CR13","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1109\/TSMCB.2012.2216873","volume":"43","author":"D.J. Cook","year":"2013","unstructured":"Cook, D.J., Krishnan, N.C., Rashidi, P.: Activity discovery and activity recognition: A new partnership. IEEE T. Cybernetics\u00a043(3), 820\u2013828 (2013)","journal-title":"IEEE T. Cybernetics"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-540-75183-0_24","volume-title":"Business Process Management","author":"C.W. G\u00fcnther","year":"2007","unstructured":"G\u00fcnther, C.W., van der Aalst, W.M.P.: Fuzzy mining \u2013 adaptive process simplification based on multi-perspective metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 328\u2013343. Springer, Heidelberg (2007)"},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.is.2010.09.006","volume":"36","author":"R.M. Dijkman","year":"2011","unstructured":"Dijkman, R.M., Dumas, M., van Dongen, B.F., K\u00e4\u00e4rik, R., Mendling, J.: Similarity of Business Process Models: Metrics and Evaluation. Information Systems\u00a036(2), 498\u2013516 (2011)","journal-title":"Information Systems"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-642-13094-6_37","volume-title":"Advanced Information Systems Engineering","author":"M. Weidlich","year":"2010","unstructured":"Weidlich, M., Dijkman, R., Mendling, J.: The iCoP framework: Identification of correspondences between process models. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol.\u00a06051, pp. 483\u2013498. Springer, Heidelberg (2010)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-642-32885-5_25","volume-title":"Business Process Management","author":"H. Leopold","year":"2012","unstructured":"Leopold, H., Niepert, M., Weidlich, M., Mendling, J., Dijkman, R., Stuckenschmidt, H.: Probabilistic optimization of semantic process model matching. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol.\u00a07481, pp. 319\u2013334. Springer, Heidelberg (2012)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-40176-3_17","volume-title":"Business Process Management","author":"C. Klinkm\u00fcller","year":"2013","unstructured":"Klinkm\u00fcller, C., Weber, I., Mendling, J., Leopold, H., Ludwig, A.: Increasing recall of process model matching by improved activity label matching. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol.\u00a08094, pp. 211\u2013218. Springer, Heidelberg (2013)"},{"key":"5_CR19","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer (2007)"},{"issue":"11","key":"5_CR20","doi-asserted-by":"publisher","first-page":"1398","DOI":"10.1093\/comjnl\/bxs014","volume":"55","author":"M. Weidlich","year":"2012","unstructured":"Weidlich, M., Dijkman, R., Weske, M.: Behaviour equivalence and compatibility of business process models with complex correspondences. The Computer Journal\u00a055(11), 1398\u20131418 (2012)","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Business Information Processing","The Practice of Enterprise Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45501-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,22]],"date-time":"2022-04-22T05:17:11Z","timestamp":1650604631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45501-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662455005","9783662455012"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45501-2_5","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}