{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T10:10:02Z","timestamp":1748427002194,"version":"3.41.0"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319194875"},{"type":"electronic","value":"9783319194882"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19488-2_5","type":"book-chapter","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T05:13:45Z","timestamp":1433394825000},"page":"98-116","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An SRN-Based Resiliency Quantification Approach"],"prefix":"10.1007","author":[{"given":"Dario","family":"Bruneo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Longo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Scarpa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Puliafito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Ghosh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kishor S.","family":"Trivedi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,4]]},"reference":[{"key":"5_CR1","unstructured":"DeBardeleben, N., et al.: High-end computing resilience: Analysis of issues facing the hec community and path-forward for research and development, White paper, January 2010"},{"key":"5_CR2","unstructured":"Laprie, J.C.: From dependability to resilience. In: DSN (2008)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Simoncini, L.: Resilient computing: an engineering discipline. In: IPDPS (2009)","DOI":"10.1109\/IPDPS.2009.5160867"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Sterbenz, J.P., et al.: Resilience and survivability in communication networks: Strategies, principles, and survey of disciplines. Elsevier Computer Networks, June 2010","DOI":"10.1016\/j.comnet.2010.03.005"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Ciardo, G., et al.: Automated generation and analysis of markov reward models using stochastic reward nets. In: Linear Algebra, Markov Chains and Queuing Models. Springer (1993)","DOI":"10.1007\/978-1-4613-8351-2_11"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-46429-8_30","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"C Hirel","year":"2000","unstructured":"Hirel, C., Tuffin, B., Trivedi, K.S.: SPNP: stochastic petri nets. version 6.0. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 354\u2013357. Springer, Heidelberg (2000)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Mural, I., Bondavalli, A., Zang, X., Trivedi, K.: Dependability modeling and evaluation of phased mission systems: a dspn approach. In: Dependable Computing for Critical Applications 7, pp. 319\u2013337, January 1999","DOI":"10.1109\/DCFTS.1999.814303"},{"issue":"1\u20134","key":"5_CR8","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s00170-013-5022-x","volume":"69","author":"J Wang","year":"2013","unstructured":"Wang, J., Ip, W., Muddada, R., Huang, J., Zhang, W.: On petri net implementation of proactive resilient holistic supply chain networks. International Journal of Advanced Manufacturing Technology 69(1\u20134), 427\u2013437 (2013)","journal-title":"International Journal of Advanced Manufacturing Technology"},{"issue":"2","key":"5_CR9","doi-asserted-by":"publisher","first-page":"17","DOI":"10.4018\/ijkbo.2011040102","volume":"1","author":"M Tavana","year":"2011","unstructured":"Tavana, M., Busch, T., Davis, E.: Modeling operational robustness and resiliency with high-level petri nets. International Journal of Knowledge-Based Organizations 1(2), 17\u201338 (2011)","journal-title":"International Journal of Knowledge-Based Organizations"},{"key":"5_CR10","unstructured":"Liu, M., Hutchison, D.: Towards resilient networks using situation awareness. In: PGNET (2011)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Rodriguez, R., Merseguer, J., Bernardi, S.: Modelling and analysing resilience as a security issue within uml. In: SERENE (2010)","DOI":"10.1145\/2401736.2401741"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19488-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T09:29:45Z","timestamp":1748424585000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19488-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194875","9783319194882"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19488-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"4 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}