{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:47:58Z","timestamp":1725536878202},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642038471"},{"type":"electronic","value":"9783642038488"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03848-8_16","type":"book-chapter","created":{"date-parts":[[2009,8,26]],"date-time":"2009-08-26T03:31:50Z","timestamp":1251257510000},"page":"229-244","source":"Crossref","is-referenced-by-count":34,"title":["The Triconnected Abstraction of Process Models"],"prefix":"10.1007","author":[{"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Smirnov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"OMG: Business Process Modeling Notation, Version 1.2 (January 2009)"},{"key":"16_CR2","unstructured":"Keller, G., N\u00fcttgens, M., Scheer, A.: Semantische Prozessmodellierung auf der Grundlage \u201cEreignisgesteuerter Prozessketten (EPK)\u201d. Technical Report\u00a089, University of Saarland (1992)"},{"key":"16_CR3","unstructured":"Petri, C.: Kommunikation mit Automaten. PhD thesis, Institut f\u00fcr instrumentelle Mathematik, Bonn, Germany (1962)"},{"key":"16_CR4","first-page":"95","volume-title":"Proceedings of the 7th Symposium on Principles of Programming Languages (POPL)","author":"R.E. Tarjan","year":"1980","unstructured":"Tarjan, R.E., Valdes, J.: Prime Subprogram Parsing of a Program. In: Proceedings of the 7th Symposium on Principles of Programming Languages (POPL), pp. 95\u2013105. ACM, New York (1980)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Koehler, J.: The Refined Process Structure Tree. In: Proceedings of the 6th International Conference on Business Process Management (BPM), Milan, Italy, September 2008, pp. 100\u2013115 (2008)","DOI":"10.1007\/978-3-540-85758-7_10"},{"key":"16_CR6","unstructured":"Polyvyanyy, A., Smirnov, S., Weske, M.: Reducing Complexity of Large EPCs. In: Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten (MobIS: EPK), Saarbruecken, Germany (November 2008)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A., Smirnov, S., Weske, M.: Process Model Abstraction: A Slider Approach. In: Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference (EDOC), Munich, Germany (September 2008)","DOI":"10.1109\/EDOC.2008.17"},{"key":"16_CR8","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: Advances in Petri Nets 1985, London, UK, pp. 19\u201340. Springer, Heidelberg (1986)"},{"key":"16_CR9","first-page":"359","volume-title":"Advances in Petri nets 1986","author":"G. Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and Decompositions of Nets. In: Advances in Petri nets 1986, London, UK, pp. 359\u2013376. Springer, Heidelberg (1987)"},{"key":"16_CR10","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, New York (1995)"},{"issue":"4","key":"16_CR11","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":"16_CR12","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M. Weske","year":"2007","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007)"},{"key":"16_CR13","first-page":"407","volume-title":"Application and Theory of Petri Nets","author":"W. Aalst","year":"1997","unstructured":"Aalst, W.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) Application and Theory of Petri Nets, Berlin, Germany, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Battista, G.D., Tamassia, R.: Incremental Planarity Testing. In: Proceedings of the 30th Annual Symposium on Foundations of Computer Science, FOCS (1989)","DOI":"10.1109\/SFCS.1989.63515"},{"issue":"4","key":"16_CR15","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"},{"issue":"3","key":"16_CR16","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1137\/0202012","volume":"2","author":"J.E. Hopcroft","year":"1973","unstructured":"Hopcroft, J.E., Tarjan, R.E.: Dividing a Graph into Triconnected Components. SIAM Journal on Computing\u00a02(3), 135\u2013158 (1973)","journal-title":"SIAM Journal on Computing"},{"issue":"3","key":"16_CR17","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1137\/0222040","volume":"22","author":"D. Fussell","year":"1993","unstructured":"Fussell, D., Ramachandran, V., Thurimella, R.: Finding Triconnected Components by Local Replacement. SIAM Journal on Computing\u00a022(3), 587\u2013616 (1993)","journal-title":"SIAM Journal on Computing"},{"key":"16_CR18","first-page":"77","volume-title":"Proceedings of the 8th International Symposium on Graph Drawing (GD)","author":"C. Gutwenger","year":"2001","unstructured":"Gutwenger, C., Mutzel, P.: A Linear Time Implementation of SPQR-Trees. In: Proceedings of the 8th International Symposium on Graph Drawing (GD), London, UK, pp. 77\u201390. Springer, Heidelberg (2001)"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/11538394_18","volume-title":"Business Process Management","author":"R. Liu","year":"2005","unstructured":"Liu, R., Kumar, A.: An Analysis and Taxonomy of Unstructured Workflows. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 268\u2013284. Springer, Heidelberg (2005)"}],"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-03848-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T05:10:17Z","timestamp":1558501817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03848-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642038471","9783642038488"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03848-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}