{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T17:05:24Z","timestamp":1761843924985},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,10,20]],"date-time":"2009-10-20T00:00:00Z","timestamp":1255996800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1007\/s11227-009-0343-0","type":"journal-article","created":{"date-parts":[[2009,10,19]],"date-time":"2009-10-19T15:14:47Z","timestamp":1255965287000},"page":"79-105","source":"Crossref","is-referenced-by-count":18,"title":["Modeling and survivability analysis of service composition using Stochastic Petri Nets"],"prefix":"10.1007","volume":"56","author":[{"given":"Yuanzhuo","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chuang","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter D.","family":"Ungsunan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaomeng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,10,20]]},"reference":[{"key":"343_CR1","unstructured":"Mayer A, McGough S, Furmento N, Lee W, Gulamali M, Newhouse S, Darlington J (2004) Workflow expression: comparison of spatial and temporal approaches. In: Workflow in grid systems workshop, GGF-10, Berlin, March 2004"},{"key":"343_CR2","doi-asserted-by":"crossref","unstructured":"Foster I, Kesselman C, Nick MJ, Tuecke S (2002) The physiology of the grid: an open grid services architecture for distributed systems integration. Technical report, Argonne National Laboratory","DOI":"10.1109\/MC.2002.1009167"},{"key":"343_CR3","unstructured":"Deelman E, Blythe J, Gil Y, Kesselman C (2003) Workflow management in GriPhyN. Grid resource management: state of the art and future trends, pp 99\u2013116"},{"key":"343_CR4","unstructured":"Laszewski G, Zaluzec N, Hategan M, Rossi A (2003) GridAnt: Client side workflow management in grids with application onto position resolved diffraction. Midwest Software Engineering Conference, Chicago, US, June 2003"},{"key":"343_CR5","doi-asserted-by":"crossref","first-page":"715","DOI":"10.1007\/11752578_86","volume":"3911","author":"M Alt","year":"2006","unstructured":"Alt M, Hoheisel A, Pohl HW, Gorlatch S (2006) A grid workflow language using high-level Petri nets. Lect Notes Comput Sci 3911:715\u2013722","journal-title":"Lect Notes Comput Sci"},{"issue":"1\u20132","key":"343_CR6","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1016\/j.future.2005.08.002","volume":"22","author":"F Neubauer","year":"2006","unstructured":"Neubauer F, Hoheisel A, Geiler J (2006) Workflow-based grid applications. Future Gener Comput Syst 22(1\u20132):6\u201315","journal-title":"Future Gener Comput Syst"},{"key":"343_CR7","unstructured":"Laprie JC, Kaaniche M, Kanoun K (1995) Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets - application to dependability growth. In: Proceedings of the sixth international workshop on Petri nets and performance model (PNPM). October 1995, pp 221\u2013230"},{"key":"343_CR8","unstructured":"Barry DK (2008) Web Services Flow Language (WSFL). http:\/\/www.service-architecture.com\/web-services\/articles\/web_services_flow_language_wsfl.html"},{"key":"343_CR9","unstructured":"Jordan D, Evdemon J (2008) Web services business process execution language version 2.0. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/CS01\/wsbpel-v2.0-CS01.html , accessed on 10 November 2008"},{"key":"343_CR10","unstructured":"Krishnan S, Wagstrom P, von Laszewski G (2002) GSFL: a workflow framework for grid services. In: Proc. SC\u20192002, pp 11\u201316"},{"issue":"1\u20132","key":"343_CR11","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"WMP Aalst van\u00a0der","year":"2002","unstructured":"van\u00a0der Aalst WMP, Basten T (2002) Inheritance of workflows: an approach to tackling problems related to change. Theor Comput Sci 270(1\u20132):125\u2013203","journal-title":"Theor Comput Sci"},{"key":"343_CR12","unstructured":"Hull R (2003) E-service composition: models and formalisms. In: Proceedings of the 2003 international workshop on description logics (DL2003), 81:1\u201314"},{"key":"343_CR13","first-page":"585","volume":"2414","author":"B Raman","year":"2002","unstructured":"Raman B, Agarwal S, Chen Y, Caesar M, Cui W (2002) The SAHARA model for service composition across multiple providers. Lect Notes Comput Sci 2414:585\u2013597","journal-title":"Lect Notes Comput Sci"},{"key":"343_CR14","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-3-540-30581-1_4","volume":"3387","author":"D Martin","year":"2005","unstructured":"Martin D, Paolucci M, McIlraith S, Burstein M, McDermott D, McGuinness D, Parsia B, Payne T, Sabou M, Solanki M, Srinivasan N, Sycara K (2005) Bringing semantics to web services: the OWL-S approach. In: 1st International workshop on semantic web services and web process composition (SWSWPC 2004). Lect Notes Comput Sci 3387:26\u201342","journal-title":"Lect Notes Comput Sci"},{"key":"343_CR15","unstructured":"WSMO Working Group D16.1v0.2 (2005) The Web Service Modeling Language WSML, March 2005"},{"key":"343_CR16","unstructured":"Gronmo R, Jaeger MC (2005) Model-driven semantic web service composition. IEEE. Presented at the 12th Asia-Pacific software engineering conference (APSEC), Taipei, Taiwan. December 2005, pp 1\u20138"},{"key":"343_CR17","unstructured":"Berardi D, Calvanese D, Giacomo GD, Hull R, Mecella M (2005) Automatic composition of web services in Colombo. SEBD, pp 8\u201315"},{"issue":"1","key":"343_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1177\/0037549707079226","volume":"83","author":"D Zhovtobryukh","year":"2007","unstructured":"Zhovtobryukh D (2007) A Petri net-based approach for automated goal-driven web service composition. Simulation 83(1):33\u201363","journal-title":"Simulation"},{"key":"343_CR19","unstructured":"Motahari-Nezhad HR, Li J, Stephenson B, Graupner S, Singhal S (2009) Solution marketplace for service composition and integration. In: 3rd International workshop on web service composition and adaptation, Los Angeles, US, July 2009"},{"key":"343_CR20","unstructured":"Hamadi R, Benatallah B (2003) A Petri net-based model for web service composition. The 14th Australasian Database conference, Adelaide, Australian, pp 191\u2013200"},{"key":"343_CR21","volume-title":"Petri net theory and the modeling of systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL (1981) Petri net theory and the modeling of systems. Englewood Cliffs, Prentice-Hall"},{"issue":"1","key":"343_CR22","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secure Comput 1(1):11\u201333","journal-title":"IEEE Trans Dependable Secure Comput"},{"key":"343_CR23","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/3-540-45785-2_5","volume":"2480","author":"C Lin","year":"2002","unstructured":"Lin C, Qu Y, Ren FY, Marinescu DC (2002) Performance equivalent analysis of workflow systems based on stochastic Petri net models. International conference on engineering and deployment of cooperative information systems (EDCIS 2002). Lect Notes Comput Sci 2480:64\u201379","journal-title":"Lect Notes Comput Sci"},{"issue":"1","key":"343_CR24","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0166-5316(93)90026-Q","volume":"18","author":"G Ciardo","year":"1993","unstructured":"Ciardo G, Trivedi KS (1993) A decomposition approach for stochastic reward net models. Perform Eval 18(1):37\u201359","journal-title":"Perform Eval"},{"issue":"7","key":"343_CR25","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1109\/12.2227","volume":"37","author":"C Lin","year":"1988","unstructured":"Lin C, Marinescu DC (1988) Stochastic high level Petri nets and applications. IEEE Trans Comput 37(7):815\u2013825","journal-title":"IEEE Trans Comput"},{"key":"343_CR26","doi-asserted-by":"crossref","unstructured":"Madan B, Go\u0161eva-Popstojanova K, Vaidyanathan K, Trivedi KS (2002) Modeling and quantification of security attributes of software systems. In: Proc. int\u2019l conf. dependable systems and networks, pp\u00a0505\u2013514","DOI":"10.1109\/DSN.2002.1028941"},{"key":"343_CR27","unstructured":"Zhang R, Heisig S, Moyle S, McKeever S (2005) Ogsa-based grid workload monitoring. In: Proceedings of the 5th IEEE\/ACM international symposium on cluster computing and the grid (CCGRID\u201905). Cardiff, UK, May 2005, pp 668\u2013675"},{"issue":"3","key":"343_CR28","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1109\/24.406578","volume":"44","author":"M Malhotra","year":"1995","unstructured":"Malhotra M, Trivedi KS (1995) Dependability modeling using Petri-nets. IEEE Trans Reliab 44(3):428\u2013440","journal-title":"IEEE Trans Reliab"},{"issue":"2","key":"343_CR29","first-page":"322","volume":"34","author":"C Lin","year":"2006","unstructured":"Lin C, Wang YZ, Yang Y, Qu Y (2006) Research on network dependability analysis methods based on stochastic Petri net. Acta Electronica Sinica 34(2):322\u2013332 (in Chinese)","journal-title":"Acta Electronica Sinica"},{"issue":"12","key":"343_CR30","first-page":"1943","volume":"28","author":"C Lin","year":"2005","unstructured":"Lin C, Wang Y, Li QL (2005) Stochastic modeling and evaluation for network security. Chin J Comput 28(12):1943\u20131956","journal-title":"Chin J Comput"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-009-0343-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-009-0343-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-009-0343-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:23:59Z","timestamp":1559384639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-009-0343-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,20]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["343"],"URL":"https:\/\/doi.org\/10.1007\/s11227-009-0343-0","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,20]]}}}