{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:53:27Z","timestamp":1725566007833},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156175"},{"type":"electronic","value":"9783642156182"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15618-2_8","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T05:23:04Z","timestamp":1284355384000},"page":"78-94","source":"Crossref","is-referenced-by-count":19,"title":["Deciding Behaviour Compatibility of Complex Correspondences between Process Models"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Weidlich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Remco","family":"Dijkman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"8_CR1","first-page":"337","volume":"13","author":"R. Dijkman","year":"2004","unstructured":"Dijkman, R., Dumas, M.: Service-oriented design: a multi-viewpoint approach. IJCIS\u00a013(4), 337\u2013368 (2004)","journal-title":"IJCIS"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/978-3-540-40022-6_19","volume-title":"Petri Net Technology for Communication-Based Systems","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P.: Inheritance of business processes: A journey visiting four notorious problems. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 383\u2013408. Springer, Heidelberg (2003)"},{"key":"8_CR3","unstructured":"Guth, V., Oberweis, A.: Delta-analysis of petri net based models for business processes. In: Proc. of the 3rd Int. Conf. on Applied Informatics, pp. 23\u201332 (1997)"},{"issue":"2","key":"8_CR4","first-page":"47","volume":"47","author":"T. Basten","year":"2001","unstructured":"Basten, T., Aalst, W.: Inheritance of Behavior. JLAP\u00a047(2), 47\u2013145 (2001)","journal-title":"JLAP"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/504087.504091","volume":"11","author":"M. Schrefl","year":"2002","unstructured":"Schrefl, M., Stumptner, M.: Behavior-consistent specialization of object life cycles. ACM Trans. Softw. Eng. Methodol.\u00a011(1), 92\u2013148 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Dijkman, R., Weske, M.: Deciding Behaviour Compatibility of Complex Correspondences between Process Models. Technical report 11-2010, Hasso Plattner Institute, http:\/\/bpt.hpi.uni-potsdam.de\/pub\/Public\/MatthiasWeidlich\/bc_r.pdf","DOI":"10.1007\/978-3-642-15618-2_8"},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. Aalst","year":"1998","unstructured":"Aalst, W.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-79230-7_6","volume-title":"Web Services and Formal Methods","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 77\u201391. Springer, Heidelberg (2008)"},{"issue":"12","key":"8_CR9","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R.M. Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information & Software Technology\u00a050(12), 1281\u20131294 (2008)","journal-title":"Information & Software Technology"},{"issue":"7","key":"8_CR10","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/TSE.2004.33","volume":"30","author":"R. Eshuis","year":"2004","unstructured":"Eshuis, R., Wieringa, R.: Tool support for verifying UML activity diagrams. IEEE Trans. Software Eng.\u00a030(7), 437\u2013447 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"8_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W. Aalst","year":"1997","unstructured":"Aalst, W.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"8_CR13","volume-title":"Ontology Matching","author":"J. Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)"},{"key":"8_CR14","unstructured":"Hack, M.: Decidability Questions for Petri Nets. PhD thesis, M.I.T. (1976)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A. Valmari","year":"1998","unstructured":"Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 429\u2013528. Springer, Heidelberg (1998)"},{"issue":"3","key":"8_CR16","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","volume":"39","author":"B. Kiepuszewski","year":"2003","unstructured":"Kiepuszewski, B., Hofstede, A., Aalst, W.: Fundamentals of control flow in workflows. Acta Inf.\u00a039(3), 143\u2013209 (2003)","journal-title":"Acta Inf."},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"W. Aalst","year":"2000","unstructured":"Aalst, W.: Workflow verification: Finding control-flow errors using petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) BPM 2000. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)"},{"key":"8_CR18","unstructured":"Kovalyov, A., Esparza, J.: A polynomial algorithm to compute the concurrency relation of free-choice signal transition graphs. In: WODES. The Institution of Electrical Engineers, pp. 1\u20136 (1996)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Mendling, J., Weske, M.: Efficient Consistency Measurement based on Behavioural Profiles of Process Models. IEEE Trans. on Software Engineering (2010) (to appear)","DOI":"10.1109\/TSE.2010.96"},{"key":"8_CR20","unstructured":"Documentair structuurplan, http:\/\/model-dsp.nl\/ (accessed: February 20, 2009)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: ICSE, pp. 54\u201364. IEEE CS (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Dijkman, R., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., K\u00e4\u00e4rik, R.: Aligning business process models. In: EDOC, pp. 45\u201353 (2009)","DOI":"10.1109\/EDOC.2009.11"},{"key":"8_CR23","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)"},{"issue":"4","key":"8_CR24","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/s007780100057","volume":"10","author":"E. Rahm","year":"2001","unstructured":"Rahm, E., Bernstein, P.A.: A survey of approaches to automatic schema matching. VLDB Journal\u00a010(4), 334\u2013350 (2001)","journal-title":"VLDB Journal"},{"issue":"4\/5","key":"8_CR25","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R.J. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Inf.\u00a037(4\/5), 229\u2013327 (2001)","journal-title":"Acta Inf."},{"issue":"2","key":"8_CR26","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1006\/inco.1994.1096","volume":"115","author":"L. Aceto","year":"1994","unstructured":"Aceto, L., Hennessy, M.: Adding action refinement to a finite process algebra. Inf. Comput.\u00a0115(2), 179\u2013247 (1994)","journal-title":"Inf. Comput."},{"issue":"1","key":"8_CR27","first-page":"1","volume":"6","author":"D. Quartel","year":"2002","unstructured":"Quartel, D., Pires, L.F., van Sinderen, M.: On architectural support for behavior refinement in distributed systems design. Journal of Integrated Design and Process Science\u00a06(1), 1\u201330 (2002)","journal-title":"Journal of Integrated Design and Process Science"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-17218-1_51","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"W. Vogler","year":"1987","unstructured":"Vogler, W.: Behaviour preserving refinement of petri nets. In: Tinhofer, G., Schmidt, G. (eds.) WG 1986. LNCS, vol.\u00a0246, pp. 82\u201393. Springer, Heidelberg (1987)"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Advances in Petri Nets 1990","author":"W. Brauer","year":"1991","unstructured":"Brauer, W., Gold, R., Vogler, W.: A survey of behaviour and equivalence preserving refinements of petri nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 1\u201346. Springer, Heidelberg (1991)"},{"issue":"3","key":"8_CR30","first-page":"23","volume":"32","author":"M. Dumas","year":"2009","unstructured":"Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., Dijkman, R.M.: Similarity search of business process models. IEEE Data Eng. Bull.\u00a032(3), 23\u201328 (2009)","journal-title":"IEEE Data Eng. Bull."},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-540-69534-9_34","volume-title":"Advanced Information Systems Engineering","author":"B.F. Dongen van","year":"2008","unstructured":"van Dongen, B.F., Dijkman, R.M., Mendling, J.: Measuring Similarity between Business Process Models. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 450\u2013464. Springer, Heidelberg (2008)"},{"key":"8_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/11914853_16","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"A. Wombacher","year":"2006","unstructured":"Wombacher, A.: Evaluation of technical measures for workflow similarity based on a pilot study. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04275, pp. 255\u2013272. Springer, Heidelberg (2006)"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11691372_28","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"O. Sokolsky","year":"2006","unstructured":"Sokolsky, O., Kannan, S., Lee, I.: Simulation-based graph similarity. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 426\u2013440. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15618-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:10:55Z","timestamp":1606169455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15618-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156175","9783642156182"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15618-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}