{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:28:32Z","timestamp":1743146912779,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"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-25535-9_1","type":"book-chapter","created":{"date-parts":[[2011,11,18]],"date-time":"2011-11-18T08:17:59Z","timestamp":1321604279000},"page":"1-15","source":"Crossref","is-referenced-by-count":8,"title":["Computing Degree of Parallelism for BPMN Processes"],"prefix":"10.1007","author":[{"given":"Yutian","family":"Sun","sequence":"first","affiliation":[]},{"given":"Jianwen","family":"Su","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"1_CR1","first-page":"10","volume":"32","author":"S. Abiteboul","year":"2009","unstructured":"Abiteboul, S., Segoufin, L., Vianu, V.: Modeling and verifying active xml artifacts. Data Engineering Bulletin\u00a032(3), 10\u201315 (2009)","journal-title":"Data Engineering Bulletin"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"746","DOI":"10.1007\/978-3-540-68111-3_78","volume-title":"Parallel Processing and Applied Mathematics","author":"A. Barker","year":"2008","unstructured":"Barker, A., van Hemert, J.: Scientific Workflow: A Survey and Research Directions. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wasniewski, J. (eds.) PPAM 2007. LNCS, vol.\u00a04967, pp. 746\u2013753. Springer, Heidelberg (2008)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-540-75183-0_21","volume-title":"Business Process Management","author":"K. Bhattacharya","year":"2007","unstructured":"Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards Formal Analysis of Artifact-Centric Business Process Models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 288\u2013304. Springer, Heidelberg (2007)"},{"key":"1_CR4","unstructured":"Business Process Model and Notation (BPMN), version 2.0 (January 2011), http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF"},{"issue":"1","key":"1_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0304-3975(88)90012-6","volume":"23","author":"T. Chan","year":"1983","unstructured":"Chan, T., Ibarra, O.H.: On the finite-valuedness problem for sequential machines. Theoretical Computer Science\u00a023(1), 95\u2013101 (1983)","journal-title":"Theoretical Computer Science"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Crampton, J.: A reference monitor for workflow systems with constrained task execution. In: Proc. 10th ACM Symp. on Access Control Models and Technologies, SACMAT (2005)","DOI":"10.1145\/1063979.1063986"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proc. Int. Conf. on Database Theory (ICDT), pp. 252\u2013267 (2009)","DOI":"10.1145\/1514894.1514924"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R.M. Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Inf. Softw. Technol.\u00a050, 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"1_CR9","first-page":"61","volume":"16","author":"E.M. Gurari","year":"1983","unstructured":"Gurari, E.M., Ibarra, O.H.: A note on finite-valued and finitely ambiguous transducers. Theory of Computing Systems\u00a016(1), 61\u201366 (1983)","journal-title":"Theory of Computing Systems"},{"key":"1_CR10","volume-title":"Proc. Workshop on Web Services and Formal Methods (WS-FM)","author":"R. Hull","year":"2010","unstructured":"Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath III, F., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vacul\u00edn, R.: Introducing the guard-stage-milestone approach to specifying business entity lifecycles. In: Proc. Workshop on Web Services and Formal Methods (WS-FM). Springer, Heidelberg (2010)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Juve, G., Deelman, E.: Scientific workflows and clouds. Crossroads 16(3) (March 2010)","DOI":"10.1145\/1734160.1734166"},{"issue":"3","key":"1_CR12","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A. Nigam","year":"2003","unstructured":"Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal\u00a042(3), 428\u2013445 (2003)","journal-title":"IBM Systems Journal"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Potapova, A., Su, J.: On nondeterministic workflow executions. In: Proc. Workshop on Web Services and Formal Methods, WSFM (2010)","DOI":"10.1007\/978-3-642-19589-1_12"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11431855_16","volume-title":"Advanced Information Systems Engineering","author":"N. Russell","year":"2005","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Workflow Resource Patterns: Identification, Representation and Tool Support. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 216\u2013232. Springer, Heidelberg (2005)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/978-3-540-85238-4_48","volume-title":"Mathematical Foundations of Computer Science 2008","author":"J. Sakarovitch","year":"2008","unstructured":"Sakarovitch, J., de Souza, R.: On the Decidability of Bounded Valuedness for Transducers. In: Ochma\u0144ski, E., Tyszkiewicz, J. (eds.) MFCS 2008. LNCS, vol.\u00a05162, pp. 588\u2013600. Springer, Heidelberg (2008)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Senkul, P., Kifer, M., Toroslu, I.H.: A logical framework for scheduling workflows under resource allocation constraints. In: Proc. 28th Int. Conf. on Very Large Data Bases (2002)","DOI":"10.1016\/B978-155860869-6\/50067-6"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/j.is.2004.03.003","volume":"30","author":"P. Senkul","year":"2005","unstructured":"Senkul, P., Toroslu, I.H.: An architecture for workflow scheduling under resource allocation constraints. Information Systems\u00a030, 399\u2013422 (2005)","journal-title":"Information Systems"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Sun, Y., Su, J.: On-line Appendix to the Paper \u201cComputing Degree of Parallelism for BPMN Processes\u201d (2011), http:\/\/www.cs.ucsb.edu\/~su\/papers\/2011\/AppendixICSOC2011.pdf","DOI":"10.1007\/978-3-642-25535-9_1"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248. Springer, Heidelberg (1997)"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: 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, p. 161. Springer, Heidelberg (2000)"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., N\u00fa\u00f1ez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"issue":"4","key":"1_CR22","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Information Systems\u00a030(4), 245\u2013275 (2005)","journal-title":"Information Systems"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1007\/BF00264285","volume":"27","author":"A. Weber","year":"1990","unstructured":"Weber, A.: On the valuedness of finite transducers. Acta Inf.\u00a027, 749\u2013780 (1990)","journal-title":"Acta Inf."},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Yu, Z., Shi, W.: An adaptive rescheduling strategy for grid workflow applications. In: Proc. IPDPS (2007)","DOI":"10.1109\/IPDPS.2007.370305"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25535-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T15:55:17Z","timestamp":1560959717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25535-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642173578","9783642173585"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25535-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}