{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:29:02Z","timestamp":1725730142547},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642369254"},{"type":"electronic","value":"9783642369261"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36926-1_20","type":"book-chapter","created":{"date-parts":[[2013,6,7]],"date-time":"2013-06-07T08:30:17Z","timestamp":1370593817000},"page":"257-263","source":"Crossref","is-referenced-by-count":3,"title":["The Structured Phase of Concurrency"],"prefix":"10.1007","author":[{"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Bussler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,5,27]]},"reference":[{"issue":"1\u20132","key":"20_CR00201","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/S0304-3975(96)80710-9","volume":"170","author":"V Sassone","year":"1996","unstructured":"Sassone, V., Nielsen, M., Winskel, G.: Models for concurrency: Towards a classification. Theoretical Computer Science (TCS) 170(1\u20132) (1996) 297\u2013348","journal-title":"Theoretical Computer Science (TCS)"},{"key":"20_CR00202","unstructured":"Modell, M., Reid, R.: Thermodynamics and Its Applications. International Series in the Physical and Chemical Engineering Sciences. Prentice-Hall (1974)"},{"key":"20_CR00203","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A.: Structuring Process Models. PhD thesis, University of Potsdam (2012)","DOI":"10.1016\/j.is.2011.10.005"},{"issue":"5","key":"20_CR00204","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/355592.365646","volume":"9","author":"C B\u00f6hm","year":"1966","unstructured":"B\u00f6hm, C., Jacopini, G.: Flow diagrams, Turing machines and languages with only two formation rules. Communications of the ACM (CACM) 9(5) (1966) 366\u2013371","journal-title":"Communications of the ACM (CACM)"},{"issue":"2","key":"20_CR00205","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1093\/comjnl\/21.2.161","volume":"21","author":"MH Williams","year":"1978","unstructured":"Williams, M.H., Ossher, H.L.: Conversion of unstructured flow diagrams to structured form. The Computer Journal (CJ) 21(2) (1978) 161\u2013167","journal-title":"The Computer Journal (CJ)"},{"issue":"3","key":"20_CR00206","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1093\/comjnl\/25.3.379","volume":"25","author":"G Oulsnam","year":"1982","unstructured":"Oulsnam, G.: Unravelling unstructured programs. The Computer Journal (CJ) 25(3) (1982) 379\u2013387","journal-title":"The Computer Journal (CJ)"},{"key":"20_CR00207","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.: On structured workflow modelling. In: Conference on Advanced Information Systems Engineering (CAiSE). Volume 1789 of Lecture Notes in Computer Science., Springer (2000) 431\u2013445"},{"key":"20_CR00208","unstructured":"Polyvyanyy, A., Garc\u00eda-Ba\u00f1uelos, L., Dumas, M.: Structuring acyclic process models. In: Business Process Management (BPM). Volume 6336 of Lecture Notes in Computer Science., Springer (2010) 276\u2013293"},{"issue":"6","key":"20_CR00209","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1016\/j.is.2011.10.005","volume":"37","author":"A Polyvyanyy","year":"2012","unstructured":"Polyvyanyy, A., Garc\u00eda-Ba\u00f1uelos, L., Dumas, M.: Structuring acyclic process models. Information Systems (IS) 37(6) (2012) 518\u2013538","journal-title":"Information Systems (IS)"},{"key":"20_CR002010","unstructured":"Polyvyanyy, A., Vanhatalo, J., V\u00f6lzer, H.: Simplified computation and generalization of the refined process structure tree. In: Web Services and Formal Methods (WS-FM). Volume 6551 of Lecture Notes in Computer Science., Springer (2010) 25\u201341"},{"issue":"1","key":"20_CR002011","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"KL McMillan","year":"1995","unstructured":"McMillan, K.L.: A technique of state space search based on unfolding. Formal Methods in System Design (FMSD) 6(1) (1995) 45\u201365","journal-title":"Formal Methods in System Design (FMSD)"},{"issue":"3","key":"20_CR002012","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"J Esparza","year":"2002","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding algorithm. Formal Methods in System Design (FMSD) 20(3) (2002) 285\u2013310","journal-title":"Formal Methods in System Design (FMSD)"},{"issue":"2","key":"20_CR002013","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.dam.2004.02.017","volume":"145","author":"RM McConnell","year":"2005","unstructured":"McConnell, R.M., de Montgolfier, F.: Linear-time modular decomposition of directed graphs. Discrete Applied Mathematics (DAM) 145(2) (2005) 198\u2013209","journal-title":"Discrete Applied Mathematics (DAM)"},{"key":"20_CR002014","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A., Garc\u00eda-Ba\u00f1uelos, L., Fahland, D., Weske, M.: Maximal structuring of acyclic process models. The Computer Journal (CJ). (first published online September 19, 2012) doi:10.1093\/comjnl\/bxs126.","DOI":"10.1093\/comjnl\/bxs126"},{"key":"20_CR002015","unstructured":"Jablonski, S., Bussler, C.: Workflow Management \u2014 Modeling Concepts, Architecture and Implementation. International Thomson (1996)"},{"key":"20_CR002016","unstructured":"OASIS: Web Services Business Process Execution Language Version 2.0. OASIS Standard. (April 2007) \n                http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf\n                \n              ."},{"key":"20_CR002017","unstructured":"Object Management Group (OMG): Business Process Model and Notation (BPMN) Version 2.0. OMG Standard. (January 2011) \n                http:\/\/www.omg.org\/spec\/BPMN\/2.0\n                \n              ."},{"key":"20_CR002018","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., ter Hofstede, A.H.M., van der Aalst, W.M.P., Mendling, J.: From business process models to process-oriented software systems. ACM Transactions on Software Engineering and Methodology (TOSEM) 19(1) (2009)","DOI":"10.1145\/1555392.1555395"},{"key":"20_CR002019","unstructured":"Lohmann, N., Kleine, J.: Fully-automatic translation of open workflow net models into simple abstract BPEL processes. In: Modellierung. Volume 127 of Lecture Notes in Informatics., GI (2008) 57\u201372"},{"key":"20_CR002020","unstructured":"Oracle BPEL Process Manager: \n                http:\/\/www.oracle.com\/technetwork\/middleware\/bpel\/overview\/index.html\n                \n              ."},{"key":"20_CR002021","unstructured":"IBM Business Process Manager and IBM Business Process Manager Advanced: \n                ftp:\/\/ftp.software.ibm.com\/software\/integration\/business-process-manager\/library\/pdf801\/ibpmoverviewpdfen.pdf\n                \n              ."},{"key":"20_CR002022","unstructured":"TIBCO ActiveMatrix BPM: \n                http:\/\/www.tibco.com\/multimedia\/ds-amx-bpmtcm8-11546.pdf\n                \n              ."},{"key":"20_CR002023","unstructured":"Appian BPM Suite: \n                http:\/\/www.appian.com\/bpm-software\/bpm-for-designers\/process-management.jsp\n                \n              ."},{"key":"20_CR002024","unstructured":"Craggs, S.: Comparing BPM from Pegasystems, IBM and TIBCO. (August 2011) \n                http:\/\/soapower.com\/IBMBPM\/Whitepapers\/IBM-BPM-Analyst-Report-on-IBM-vs-Pega.pdf\n                \n              ."},{"key":"20_CR002025","unstructured":"Microsoft Workflow Manager: \n                http:\/\/msdn.microsoft.com\/en-us\/library\/windowsazure\/jj193528%28v=azure.10%29.aspx\n                \n              ."},{"key":"20_CR002026","unstructured":"Control Flow Activity Designers: \n                http:\/\/msdn.microsoft.com\/en-us\/library\/ee829560.aspx\n                \n              ."},{"key":"20_CR002027","unstructured":"www.workflowpatterns.com\n                \n              : Pattern 10 (Arbitrary Cycles). \n                http:\/\/www.workflowpatterns.com\/patterns\/control\/structural\/wcp10.php\n                \n              ."},{"key":"20_CR002028","unstructured":"Zapletal, M., van der Aalst, W.M.P., Russell, N., Liegl, P., Werthner, H.: An analysis of Windows workflow\u2019s control-flow expressiveness. In: European Conference on Web Services (ECOWS), IEEE Computer Society (2009) 200\u2013209"},{"issue":"3","key":"20_CR002029","first-page":"202","volume":"30","author":"H Sutter","year":"2005","unstructured":"Sutter, H.: The free lunch is over: A fundamental turn toward concurrency in software. Dr. Dobb\u2019s Journal 30(3) (2005) 202\u2013210","journal-title":"Dr. Dobb\u2019s Journal"}],"container-title":["Seminal Contributions to Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36926-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T19:22:05Z","timestamp":1557775325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36926-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642369254","9783642369261"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36926-1_20","relation":{},"subject":[],"published":{"date-parts":[[2013]]}}}