{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T07:46:45Z","timestamp":1759132005821},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878902"},{"type":"electronic","value":"9783540878919"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-87891-9_1","type":"book-chapter","created":{"date-parts":[[2008,10,9]],"date-time":"2008-10-09T02:48:06Z","timestamp":1223520486000},"page":"1-15","source":"Crossref","is-referenced-by-count":7,"title":["Automating Performance Analysis from Taverna Workflows"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Tolosana-Calasanz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omer F.","family":"Rana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 A.","family":"Ba\u00f1ares","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Russell, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.: Workflow control-flow patterns: A revised view. Technical report, BPM Center Report BPM-06 22, BPMcenter.org (2006)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"R. Tolosana-Calasanz","year":"2007","unstructured":"Tolosana-Calasanz, R., Ba\u00f1ares, J.A., \u00c1lvarez, P., Ezpeleta, J.: Vega: a service-oriented grid workflow management system. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part II. LNCS, vol.\u00a04804. Springer, Heidelberg (2007)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-27793-4_29","volume-title":"Applications and Theory of Petri Nets 2004","author":"O. Kummer","year":"2004","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., K\u00f6hler, M., Moldt, D., R\u00f6lke, H., Valk, R.: An extensible editor and simulation engine for petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 484\u2013493. Springer, Heidelberg (2004)"},{"key":"1_CR4","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 IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proceedings of IEEE"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R. Valk","year":"1998","unstructured":"Valk, R.: Petri nets as token objects - an introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 1\u201325. Springer, Heidelberg (1998)"},{"key":"1_CR6","first-page":"190","volume-title":"Workflows for e-Science","author":"M. Alt","year":"2007","unstructured":"Alt, M., Hoheisel, A.: Petri Nets. In: Workflows for e-Science, pp. 190\u2013207. Springer, Heidelberg (2007)"},{"issue":"3","key":"1_CR7","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.websem.2004.03.001","volume":"1","author":"J. Cardoso","year":"2004","unstructured":"Cardoso, J., Sheth, A., Miller, J., Arnold, J., Kochut, K.: Quality of service for workflows and web service processes. Web Semantics: Science, Services and Agents on the World Wide Web\u00a01(3), 281\u2013308 (2004)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"issue":"11","key":"1_CR8","doi-asserted-by":"publisher","first-page":"1066","DOI":"10.1109\/32.881718","volume":"26","author":"D.A. Menasce","year":"2000","unstructured":"Menasce, D.A., Gomaa, H.: A method for design and performance modeling of client\/server systems. IEEE Transactions on Software Engineering\u00a026(11), 1066\u20131085 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR9","first-page":"1","volume-title":"WOSP 2000: Proceedings of the 2nd international workshop on Software and performance","author":"M. Bernardo","year":"2000","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Aempa: a process algebraic description language for the performance analysis of software architectures. In: WOSP 2000: Proceedings of the 2nd international workshop on Software and performance, pp. 1\u201311. ACM Press, New York (2000)"},{"issue":"11","key":"1_CR10","doi-asserted-by":"publisher","first-page":"1843","DOI":"10.1016\/j.jss.2007.02.029","volume":"80","author":"S. Bernardi","year":"2007","unstructured":"Bernardi, S., Merseguer, J.: Performance evaluation of uml design with stochastic well-formed nets. J. Syst. Softw.\u00a080(11), 1843\u20131865 (2007)","journal-title":"J. Syst. Softw."},{"key":"1_CR11","unstructured":"Hu, Z., Shatz, S.M.: Mapping uml diagrams to a petri net notation for system simulation. In: Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2004), pp. 213\u2013219 (2004)"},{"key":"1_CR12","first-page":"54","volume-title":"WOSP 2007: Proceedings of the 6th international workshop on Software and performance","author":"S. Becker","year":"2007","unstructured":"Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the palladio component model. In: WOSP 2007: Proceedings of the 6th international workshop on Software and performance, pp. 54\u201365. ACM, New York (2007)"},{"issue":"4","key":"1_CR13","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1002\/stvr.376","volume":"17","author":"D. Hamlet","year":"2007","unstructured":"Hamlet, D.: Software component composition: a subdomain-based testing-theory foundation. Softw. Test. Verif. Reliab.\u00a017(4), 243\u2013269 (2007)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"1_CR14","unstructured":"Aalst, W.M.P., Lassen, K.B.: Translating workflow nets to bpel. Technical report. In: BETA Working Paper Series, WP145, Eindhoven University of Technology (2005)"},{"key":"1_CR15","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow patterns: On the expressive power of (petri-net-based) workflow languages. In: Proc. of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, Technical Report DAIMI PB-560, pp. 1\u201320 (2002)"},{"key":"1_CR16","volume-title":"Compiler: Principles, Techniques and Tools","author":"A.V. Aho","year":"2007","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compiler: Principles, Techniques and Tools, 2nd edn. Pearson Education, London (2007)","edition":"2"},{"key":"1_CR17","first-page":"441","volume-title":"E-SCIENCE 2007: Proceedings of the Third IEEE International Conference on e-Science and Grid Computing","author":"D. Turi","year":"2007","unstructured":"Turi, D., Missier, P., Goble, C., Roure, D.D., Oinn, T.: Taverna workflows: Syntax and semantics. In: E-SCIENCE 2007: Proceedings of the Third IEEE International Conference on e-Science and Grid Computing, Washington, DC, USA, pp. 441\u2013448. IEEE Computer Society, Los Alamitos (2007)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87891-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T11:48:14Z","timestamp":1551613694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87891-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540878902","9783540878919"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87891-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}