{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:38Z","timestamp":1725453998036},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328848"},{"type":"electronic","value":"9783642328855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32885-5_26","type":"book-chapter","created":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T14:45:30Z","timestamp":1345905930000},"page":"335-351","source":"Crossref","is-referenced-by-count":11,"title":["Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models"],"prefix":"10.1007","author":[{"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Weidlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"OMG: Business Process Model and Notation (BPMN), Version 2.0 (January 2011)","key":"26_CR1"},{"key":"26_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A., Smirnov, S., Weske, M.: Business Process Model Abstraction. In: Handbook on Business Process Management 1, pp. 149\u2013166. Springer (2010)","key":"26_CR3","DOI":"10.1007\/978-3-642-00416-2_7"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, Part I. Theoretical Computer Science (TCS)\u00a013, 85\u2013108 (1981)","journal-title":"Theoretical Computer Science (TCS)"},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D. Park","year":"1981","unstructured":"Park, D.: Concurrency and Automata on Infinite Sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol.\u00a0104, pp. 167\u2013183. Springer, Heidelberg (1981)"},{"issue":"6","key":"26_CR7","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1016\/S0306-4379(02)00028-5","volume":"28","author":"D.R. Liu","year":"2003","unstructured":"Liu, D.R., Shen, M.: Workflow modeling for virtual processes: An order-preserving process-view approach. Information Systems (IS)\u00a028(6), 505\u2013532 (2003)","journal-title":"Information Systems (IS)"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-03848-8_16","volume-title":"Business Process Management","author":"A. Polyvyanyy","year":"2009","unstructured":"Polyvyanyy, A., Smirnov, S., Weske, M.: The Triconnected Abstraction of Process Models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol.\u00a05701, pp. 229\u2013244. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Dijkman, R.M., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., K\u00e4\u00e4rik, R.: Aligning business process models. In: EDOC, pp. 45\u201353. IEEE CS (2009)","key":"26_CR9","DOI":"10.1109\/EDOC.2009.11"},{"key":"26_CR10","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":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-3-642-00899-3_3","volume-title":"ToPNoc II","author":"N. Lohmann","year":"2009","unstructured":"Lohmann, N., Verbeek, E., Dijkman, R.: Petri Net Transformations for Business Processes \u2013 A Survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoc II. LNCS, vol.\u00a05460, pp. 46\u201363. Springer, Heidelberg (2009)"},{"issue":"2\/3","key":"26_CR12","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: The non-sequential behavior of Petri nets. Information and Control\u00a057(2\/3), 125\u2013147 (1983)","journal-title":"Information and Control"},{"unstructured":"Petri, C.A.: Non-Sequential Processes. GMD ISF. Gesellschaft f\u00fcr Mathematik und Datenverarbeitung (1977)","key":"26_CR13"},{"issue":"4","key":"26_CR14","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 J.\u00a010(4), 334\u2013350 (2001)","journal-title":"VLDB J."},{"key":"26_CR15","volume-title":"Ontology matching","author":"J. Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology matching. Springer, Heidelberg (2007)"},{"issue":"4","key":"26_CR16","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/s10115-003-0137-2","volume":"6","author":"N.F. Noy","year":"2004","unstructured":"Noy, N.F., Klein, M.C.A.: Ontology evolution: Not the same as schema evolution. Knowl. Inf. Syst.\u00a06(4), 428\u2013440 (2004)","journal-title":"Knowl. Inf. Syst."},{"issue":"3","key":"26_CR17","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1016\/j.datak.2008.04.009","volume":"66","author":"G. Rull","year":"2008","unstructured":"Rull, G., Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: Validation of mappings between schemas. Data Knowl. Eng.\u00a066(3), 414\u2013437 (2008)","journal-title":"Data Knowl. Eng."},{"issue":"3","key":"26_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF01178506","volume":"28","author":"E. Best","year":"1991","unstructured":"Best, E., Devillers, R.R., Kiehn, A., Pomello, L.: Concurrent bisimulations in Petri nets. Acta Informatica (ACTA)\u00a028(3), 231\u2013264 (1991)","journal-title":"Acta Informatica (ACTA)"},{"issue":"4","key":"26_CR19","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T. K\u00fchne","year":"2006","unstructured":"K\u00fchne, T.: Matters of (meta-)modeling. Softw. and Syst. Mod.\u00a05(4), 369\u2013385 (2006)","journal-title":"Softw. and Syst. Mod."},{"key":"26_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-642-03848-8_17","volume-title":"Business Process Management","author":"O. Holschke","year":"2009","unstructured":"Holschke, O., Rake, J., Levina, O.: Granularity as a Cognitive Factor in the Effectiveness of Business Process Model Reuse. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol.\u00a05701, pp. 245\u2013260. Springer, Heidelberg (2009)"},{"issue":"1","key":"26_CR21","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers (JCSC)\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers (JCSC)"},{"key":"26_CR22","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 2010","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., Buttan, T. (eds.) WS-FM 2010. LNCS, vol.\u00a06551, pp. 25\u201341. Springer, Heidelberg (2011)"},{"issue":"4","key":"26_CR23","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":"26_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0039066","volume-title":"CONCUR \u201990","author":"R.J. Glabbeek van","year":"1990","unstructured":"van Glabbeek, R.J.: The Linear Time-Branching Time Spectrum (Extended Abstract). In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 278\u2013297. Springer, Heidelberg (1990)"},{"key":"26_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR\u201993","author":"R.J. Glabbeek van","year":"1993","unstructured":"van Glabbeek, R.J.: The Linear Time - Branching Time Spectrum II. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 66\u201381. Springer, Heidelberg (1993)"},{"issue":"3","key":"26_CR26","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. Glabbeek van","year":"1996","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM\u00a043(3), 555\u2013600 (1996)","journal-title":"J. ACM"},{"unstructured":"Hidders, J., Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M., Verelst, J.: When are two workflows the same? In: CATS. CRPIT, vol.\u00a041, pp. 3\u201311 (2005)","key":"26_CR27"},{"key":"26_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/3-540-55610-9_180","volume-title":"Advances in Petri Nets 1992","author":"L. Pomello","year":"1992","unstructured":"Pomello, L., Rozenberg, G., Simone, C.: A Survey of Equivalence Notions for Net Based Systems. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol.\u00a0609, pp. 410\u2013472. Springer, Heidelberg (1992)"},{"key":"26_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-15618-2_8","volume-title":"Business Process Management","author":"M. Weidlich","year":"2010","unstructured":"Weidlich, M., Dijkman, R., Weske, M.: Deciding Behaviour Compatibility of Complex Correspondences between Process Models. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol.\u00a06336, pp. 78\u201394. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Weidlich, M., Dijkman, R.M., Weske, M.: Behaviour equivalence and compatibility of business process models with complex correspondences. The Computer Journal (CJ) (in press, 2012)","key":"26_CR30","DOI":"10.1093\/comjnl\/bxs014"},{"issue":"2","key":"26_CR31","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"47","author":"T. Basten","year":"2001","unstructured":"Basten, T., van der Aalst, W.M.P.: Inheritance of behavior. J. Log. Algebr. Program.\u00a047(2), 47\u2013145 (2001)","journal-title":"J. Log. Algebr. Program."},{"doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A., Smirnov, S., Weske, M.: Process model abstraction: A slider approach. In: EDOC, pp. 325\u2013331. IEEE CS (2008)","key":"26_CR32","DOI":"10.1109\/EDOC.2008.17"},{"key":"26_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BFb0016204","volume-title":"Advances in Petri Nets 1985","author":"G. Berthelot","year":"1986","unstructured":"Berthelot, G.: Checking Properties of Nets Using Transformation. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol.\u00a0222, pp. 19\u201340. Springer, Heidelberg (1986)"},{"doi-asserted-by":"crossref","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press (1995)","key":"26_CR34","DOI":"10.1017\/CBO9780511526558"},{"key":"26_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-53863-1_19","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)"}],"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-32885-5_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:19:20Z","timestamp":1620116360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32885-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328848","9783642328855"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32885-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}