{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T04:38:19Z","timestamp":1764995899956,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642247484"},{"type":"electronic","value":"9783642247491"}],"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-24749-1_5","type":"book-chapter","created":{"date-parts":[[2012,1,26]],"date-time":"2012-01-26T23:13:42Z","timestamp":1327619622000},"page":"42-56","source":"Crossref","is-referenced-by-count":3,"title":["Performance Evaluation of Business Processes through a Formal Transformation to SAN"],"prefix":"10.1007","author":[{"given":"Kelly Rosa","family":"Braghetto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o Eduardo","family":"Ferreira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Vincent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"122","volume-title":"2010 Spring Simulation Multiconference","author":"K.R. Braghetto","year":"2010","unstructured":"Braghetto, K.R., Ferreira, J.a.E., Vincent, J.M.: Performance analysis modeling applied to business processes. In: 2010 Spring Simulation Multiconference, pp. 122:1\u2013122:8. SCS\/ACM, New York (2010)"},{"key":"5_CR2","first-page":"163","volume-title":"4th International Conference on Quantitative Evaluation of Systems","author":"L. Brenner","year":"2007","unstructured":"Brenner, L., Fernandes, P., Plateau, B., Sbeity, I.: PEPS2007 - stochastic automata networks software tool. In: 4th International Conference on Quantitative Evaluation of Systems, pp. 163\u2013164. IEEE Computer Society, Washington (2007)"},{"issue":"2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1049\/ip-cdt:20030084","volume":"150","author":"C. Canevet","year":"2003","unstructured":"Canevet, C., Gilmore, S., Hillston, J., Prowse, M., Stevens, P.: Performance modelling with the unified modelling language and stochastic process algebras. IEE Proceedings Computers and Digital Techniques\u00a0150(2), 107\u2013120 (2003)","journal-title":"IEE Proceedings Computers and Digital Techniques"},{"issue":"12","key":"5_CR4","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. Information and Software Technology\u00a050(12), 1281\u20131294 (2008)","journal-title":"Information and Software Technology"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"2824","DOI":"10.1109\/ICSMC.2009.5346592","volume-title":"2009 IEEE International Conference on Systems, Man and Cybernetics","author":"C. Oliveira","year":"2009","unstructured":"Oliveira, C., Lima, R., Andre, T., Reijers, H.A.: Modeling and analyzing resource-constrained business processes. In: 2009 IEEE International Conference on Systems, Man and Cybernetics, pp. 2824\u20132830. IEEE Press, Los Alamitos (2009)"},{"key":"5_CR6","unstructured":"OMG: BPMN 2.0 by example, version 1.0 (non-normative) (2011)"},{"key":"5_CR7","unstructured":"OMG: Business process model and notation (BPMN), version 2.0 (2011)"},{"issue":"2","key":"5_CR8","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/317786.317819","volume":"13","author":"B. Plateau","year":"1985","unstructured":"Plateau, B.: On the stochastic structure of parallelism and synchronization models for distributed algorithms. SIGMETRICS Perform. Eval. Rev.\u00a013(2), 147\u2013154 (1985)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"issue":"10","key":"5_CR9","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1109\/32.99196","volume":"17","author":"B. Plateau","year":"1991","unstructured":"Plateau, B., Atif, K.: Stochastic automata network for modeling parallel systems. IEEE Transactions on Software Engineering\u00a017(10), 1093\u20131108 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-68265-3_16","volume-title":"Coordination Models and Languages","author":"D. Prandi","year":"2008","unstructured":"Prandi, D., Quaglia, P., Zannone, N.: Formal analysis of BPMN via a translation into COWS. In: Wang, A.H., Tennenholtz, M. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 249\u2013263. Springer, Heidelberg (2008)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-540-88194-0_22","volume-title":"Formal Methods and Software Engineering","author":"P.Y.H. Wong","year":"2008","unstructured":"Wong, P.Y.H., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 355\u2013374. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24749-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T12:47:33Z","timestamp":1556196453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24749-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642247484","9783642247491"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24749-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}