{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:33:51Z","timestamp":1725557631240},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642136740"},{"type":"electronic","value":"9783642136757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13675-7_6","type":"book-chapter","created":{"date-parts":[[2010,6,11]],"date-time":"2010-06-11T15:26:50Z","timestamp":1276270010000},"page":"63-83","source":"Crossref","is-referenced-by-count":26,"title":["Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Weidlich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artem","family":"Polyvyanyy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1016\/j.datak.2005.07.007","volume":"58","author":"I. Davies","year":"2006","unstructured":"Davies, I., Green, P., Rosemann, M., Indulska, M., Gallo, S.: How do practitioners use conceptual modeling in practice? Data Knowl. Eng.\u00a058(3), 358\u2013380 (2006)","journal-title":"Data Knowl. Eng."},{"key":"6_CR2","first-page":"54","volume-title":"ICSE","author":"S. Nejati","year":"2007","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, Los Alamitos (2007)"},{"key":"6_CR3","volume-title":"EDOC","author":"R. Dijkman","year":"2009","unstructured":"Dijkman, R., Dumas, M., Garc\u00eda-Bauelos, L., K\u00e4\u00e4riky, R.: Aligning business process models. In: EDOC. IEEE CS, Los Alamitos (2009)"},{"issue":"4","key":"6_CR4","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"},{"key":"6_CR5","volume-title":"Handbook of Process Algebra","author":"R. Glabbeek","year":"2001","unstructured":"Glabbeek, R.: The Linear Time \u2013 Brancing Time Spectrum I. The semantics of concrete, sequential processes. In: Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Efficient Computation of Causal Behavioural Profiles using Structural Decomposition. Technical report 10-2010, Hasso Plattner Institute (January 2010), http:\/\/bpt.hpi.uni-potsdam.de\/pub\/Public\/MatthiasWeidlich\/cbp_report.pdf","DOI":"10.1007\/978-3-642-13675-7_6"},{"issue":"1","key":"6_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":"6_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)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/978-3-540-25970-1_6","volume-title":"Business Process Management","author":"E. Kindler","year":"2004","unstructured":"Kindler, E.: On the semantics of EPCs: A framework for resolving the vicious circle. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol.\u00a03080, pp. 82\u201397. Springer, Heidelberg (2004)"},{"issue":"7","key":"6_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":"6_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":"6_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":"6_CR13","unstructured":"Weidlich, M., Mendling, J., Weske, M.: Computation of behavioural profiles of process models. Technical report 08-2009, Hasso Plattner Institute (June 2009)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/298595.298598","volume-title":"FMSP","author":"M.B. Dwyer","year":"1998","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: Ardis, M.A., Atlee, J.M. (eds.) FMSP, pp. 7\u201315. ACM, New York (1998)"},{"issue":"9","key":"6_CR15","first-page":"1128","volume":"16","author":"W.M.P. Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE TKDE\u00a016(9), 1128\u20131142 (2004)","journal-title":"IEEE TKDE"},{"key":"6_CR16","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)"},{"issue":"1","key":"6_CR17","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"K.L. McMillan","year":"1995","unstructured":"McMillan, K.L.: A technique of state space search based on unfolding. Formal Methods in System Design\u00a06(1), 45\u201365 (1995)","journal-title":"Formal Methods in System Design"},{"key":"6_CR18","volume-title":"Unfoldings: a partial-order approach to model checking","author":"J. Esparza","year":"2008","unstructured":"Esparza, J., Heljanko, K.: Unfoldings: a partial-order approach to model checking. Springer, Heidelberg (2008)"},{"key":"6_CR19","volume-title":"SCC","author":"M. Weidlich","year":"2009","unstructured":"Weidlich, M., Weske, M., Mendling, J.: Change propagation in process models using behavioural profiles. In: SCC. IEEE CS, Los Alamitos (2009)"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-85758-7_10","volume-title":"Business Process Management","author":"J. Vanhatalo","year":"2008","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Koehler, J.: The refined process structure tree. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 100\u2013115. Springer, Heidelberg (2008)"},{"key":"6_CR21","unstructured":"Polyvyanyy, A., Vanhatalo, J., V\u00f6lzer, H.: Simplified computation and generalization of the refined process structure tree. Technical Report RZ 3745, IBM (2009)"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-642-03848-8_16","volume-title":"BPM 2009","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)"},{"issue":"3","key":"6_CR23","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":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"BPM 2000","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.) Business Process Management. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/3-540-47961-9_37","volume-title":"Advanced Information Systems Engineering","author":"W. Aalst","year":"2002","unstructured":"Aalst, W., Hirnschall, A., Verbeek, H.: An alternative way to analyze workflow graphs. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 535\u2013552. Springer, Heidelberg (2002)"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/3-540-53863-1_27","volume-title":"Advances in Petri Nets 1990","author":"J. Esparza","year":"1991","unstructured":"Esparza, J., Silva, M.: Circuits, handles, bridges and nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 210\u2013242. Springer, Heidelberg (1991)"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-44541-2_8","volume-title":"Graph Drawing","author":"C. Gutwenger","year":"2001","unstructured":"Gutwenger, C., Mutzel, P.: A linear time implementation of SPQR-trees. In: Marks, J. (ed.) GD 2000. LNCS, vol.\u00a01984, pp. 77\u201390. Springer, Heidelberg (2001)"},{"issue":"4","key":"6_CR28","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/BF01961541","volume":"15","author":"G.D. Battista","year":"1996","unstructured":"Battista, G.D., Tamassia, R.: On-line maintenance of triconnected components with SPQR-trees. Algorithmica\u00a015(4), 302\u2013318 (1996)","journal-title":"Algorithmica"},{"issue":"4","key":"6_CR29","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"},{"issue":"6","key":"6_CR30","doi-asserted-by":"publisher","first-page":"2117","DOI":"10.1137\/S0097539797317263","volume":"28","author":"S. Alstrup","year":"1999","unstructured":"Alstrup, S., Harel, D., Lauridsen, P.W., Thorup, M.: Dominators in linear time. SIAM J. Comput.\u00a028(6), 2117\u20132132 (1999)","journal-title":"SIAM J. Comput."},{"key":"6_CR31","volume-title":"SAP R\/3 Business Blueprint: Understanding the Business Process Reference Model","author":"T.A. Curran","year":"1997","unstructured":"Curran, T.A., Keller, G., Ladd, A.: SAP R\/3 Business Blueprint: Understanding the Business Process Reference Model. Prentice-Hall, Englewood Cliffs (1997)"},{"issue":"6","key":"6_CR32","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1016\/j.compind.2007.01.001","volume":"58","author":"B. Dongen","year":"2007","unstructured":"Dongen, B., Jansen-Vullers, M., Verbeek, H., Aalst, W.: Verification of the SAP reference models using EPC reduction, state space analysis, and invariants. Computers in Industry\u00a058(6), 578\u2013601 (2007)","journal-title":"Computers in Industry"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Decker, G., Mendling, J.: Process instantiation. Data Knowl. Eng.\u00a068 (2009)","DOI":"10.1016\/j.datak.2009.02.013"},{"key":"6_CR34","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)"},{"key":"6_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"6_CR36","doi-asserted-by":"crossref","unstructured":"de Medeiros, A.K.A., Aalst, W., Weijters, A.: Quantifying process equivalence based on observed behavior. Data Knowl. Eng.\u00a064(1) (2008)","DOI":"10.1016\/j.datak.2007.06.010"},{"issue":"4\/5","key":"6_CR37","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R. Glabbeek","year":"2001","unstructured":"Glabbeek, R., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Inf.\u00a037(4\/5), 229\u2013327 (2001)","journal-title":"Acta Inf."},{"key":"6_CR38","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":"6_CR39","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Petri nets, algebras, morphisms, and compositionality. Inf. Comput.\u00a072(3), 197\u2013238 (1987)","journal-title":"Inf. Comput."},{"issue":"2","key":"6_CR40","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":"6_CR41","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":"6_CR42","unstructured":"Rosenblum, L., Yakovlev, A.: Analyzing Semantics of Concurrent Hardware Specifications. In: ICPP, vol.\u00a03, pp. 211\u2013218 (1989)"},{"key":"6_CR43","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. Dongen","year":"2008","unstructured":"Dongen, B., 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)"},{"issue":"3","key":"6_CR44","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."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13675-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:41:45Z","timestamp":1606185705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13675-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136740","9783642136757"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13675-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}