{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T02:53:03Z","timestamp":1780887183537,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642195884","type":"print"},{"value":"9783642195891","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19589-1_2","type":"book-chapter","created":{"date-parts":[[2011,3,19]],"date-time":"2011-03-19T03:24:06Z","timestamp":1300505046000},"page":"25-41","source":"Crossref","is-referenced-by-count":57,"title":["Simplified Computation and Generalization of the Refined Process Structure Tree"],"prefix":"10.1007","author":[{"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jussi","family":"Vanhatalo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hagen","family":"V\u00f6lzer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"9","key":"2_CR1","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1016\/j.datak.2009.02.015","volume":"68","author":"J. Vanhatalo","year":"2009","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Koehler, J.: The refined process structure tree. Data & Knowledge Engineering\u00a068(9), 793\u2013818 (2009)","journal-title":"Data & Knowledge Engineering"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-88871-0_30","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"L. Garc\u00eda-Ba\u00f1uelos","year":"2008","unstructured":"Garc\u00eda-Ba\u00f1uelos, L.: Pattern identification and classification in the translation from BPMN to BPEL. In: Chung, S. (ed.) OTM 2008, Part I. LNCS, vol.\u00a05331, pp. 436\u2013444. Springer, Heidelberg (2008)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-642-05148-7_23","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"A. Polyvyanyy","year":"2009","unstructured":"Polyvyanyy, A., Garc\u00eda-Ba\u00f1uelos, L., Weske, M.: Unveiling hidden unstructured regions in process models. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol.\u00a05870, pp. 340\u2013356. Springer, Heidelberg (2009)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-03848-8_19","volume-title":"Business Process Management","author":"D. Fahland","year":"2009","unstructured":"Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol.\u00a05701, pp. 278\u2013293. Springer, Heidelberg (2009)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Johnson, R., Pearson, D., Pingali, K.: The program structure tree: Computing control regions in linear time. In: PLDI, pp. 171\u2013185 (1994)","DOI":"10.1145\/773473.178258"},{"key":"2_CR6","unstructured":"Johnson, R.: Efficient Program Analysis using Dependence Flow Graphs. PhD thesis, Cornell University, Ithaca, NY, USA (1995)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-74974-5_4","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"J. Vanhatalo","year":"2007","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models though SESE decomposition. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 43\u201355. Springer, Heidelberg (2007)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-85758-7_19","volume-title":"Business Process Management","author":"J.M. K\u00fcster","year":"2008","unstructured":"K\u00fcster, J.M., Gerth, C., F\u00f6rster, A., Engels, G.: Detecting and resolving process model differences in the absence of a change log. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 244\u2013260. Springer, Heidelberg (2008)"},{"key":"2_CR9","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)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-89652-4_11","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"J. Vanhatalo","year":"2008","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F., Moser, S.: Automatic workflow graph refactoring and completion. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 100\u2013115. Springer, Heidelberg (2008)"},{"issue":"4","key":"2_CR11","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/s004539900017","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"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-540-85758-7_4","volume-title":"Business Process Management","author":"T. Gschwind","year":"2008","unstructured":"Gschwind, T., Koehler, J., Wong, J.: Applying patterns during business process modeling. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 4\u201319. Springer, Heidelberg (2008)"},{"key":"2_CR13","first-page":"95","volume-title":"POPL 1980","author":"R.E. Tarjan","year":"1980","unstructured":"Tarjan, R.E., Valdes, J.: Prime subprogram parsing of a program. In: POPL 1980, pp. 95\u2013105. ACM, New York (1980)"},{"key":"2_CR14","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":"3","key":"2_CR15","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1137\/0202012","volume":"2","author":"J. Hopcroft","year":"1973","unstructured":"Hopcroft, J., Tarjan, R.E.: Dividing a graph into triconnected components. SIAM J. Comput.\u00a02(3), 135\u2013158 (1973)","journal-title":"SIAM J. Comput."},{"key":"2_CR16","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":"2_CR17","volume-title":"SAP R\/3 Business Blueprint: Understanding the Business Process Reference Model","author":"T. Curran","year":"1997","unstructured":"Curran, T., Keller, G., Ladd, A.: SAP R\/3 Business Blueprint: Understanding the Business Process Reference Model. Prentice-Hall, Inc., Upper Saddle River (1997)"},{"key":"2_CR18","unstructured":"Vanhatalo, J.: Process structure trees: Decomposing a business process model into a hierarchy of single-entry-single-exit fragments. PhD thesis, University of Stuttgart, Germany, vol. 1573, dissertation.de \u2014 Verlag im Internet (July 2009) ISBN: 978-3-86624-473-3"},{"key":"2_CR19","unstructured":"Valdes, J.: Parsing Flowcharts and Series-Parallel Graphs. PhD thesis, Stanford University, CA, USA (1978)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19589-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T18:45:55Z","timestamp":1558464355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19589-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642195884","9783642195891"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19589-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}