{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:44:37Z","timestamp":1743050677243,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319203751"},{"type":"electronic","value":"9783319203768"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20376-8_54","type":"book-chapter","created":{"date-parts":[[2015,7,20]],"date-time":"2015-07-20T06:00:17Z","timestamp":1437372017000},"page":"607-618","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets"],"prefix":"10.1007","author":[{"given":"Chrysovalandis","family":"Agathangelou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chryssis","family":"Georgiou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ileana","family":"Papailiou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Philippou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loucas","family":"Pouis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Tertytchny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Despina","family":"Vakana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,21]]},"reference":[{"issue":"2","key":"54_CR1","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1016\/j.ejor.2012.01.062","volume":"220","author":"D Aloini","year":"2012","unstructured":"Aloini, D., Dulmin, R., Mininno, V.: Modelling and assessing ERP project risks: a petri net approach. Eur. J. Oper. Res. 220(2), 484\u2013495 (2012)","journal-title":"Eur. J. Oper. Res."},{"issue":"1","key":"54_CR2","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/TII.2010.2098415","volume":"7","author":"S Bernardi","year":"2011","unstructured":"Bernardi, S., Campos, J., Merseguer, J.: Timing-failure risk assessment of UML design using time Petri net bound techniques. IEEE Trans. Industr. Inf. 7(1), 90\u2013104 (2011)","journal-title":"IEEE Trans. Industr. Inf."},{"issue":"3","key":"54_CR3","first-page":"0075","volume":"L345","author":"E Council","year":"2008","unstructured":"Council, E.: Council directive 2008\/114\/EC on the identification and designation of European critical infrastructures and the assessment of the need to improve their protection. Official J. L345(3), 0075\u20130082 (2008)","journal-title":"Official J."},{"key":"54_CR4","volume-title":"Petri Nets: Fundamental Models, Verification and Applications","author":"M Diaz","year":"2013","unstructured":"Diaz, M.: Petri Nets: Fundamental Models, Verification and Applications. Wiley, New York (2013)"},{"key":"54_CR5","unstructured":"Giannopoulos, G., Filippini, R., Schimmer, M.: Risk assessment methodologies for critical infrastructure protection, part I: A state of the art, JRC Technical Notes (2012)"},{"key":"54_CR6","series-title":"International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-0-387-75462-8_21","volume-title":"Critical Infrastructure Protection","author":"Y Haimes","year":"2007","unstructured":"Haimes, Y., Santos, J., Crowther, K., Henry, M., Lian, C., Yan, Z.: Risk analysis in interdependent infrastructures. In: Goetz, E., Shenoi, S. (eds.) Critical Infrastructure Protection. IFIP, vol. 253, pp. 297\u2013310. Springer, Boston (2007)"},{"key":"54_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-642-31131-4_22","volume-title":"Application and Theory of Petri Nets","author":"M Heiner","year":"2012","unstructured":"Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M.: Snoopy a unifying Petri net tool. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 398\u2013407. Springer, Heidelberg (2012)"},{"key":"54_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets: Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, New York (2009)"},{"issue":"3\u20134","key":"54_CR9","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3\u20134), 213\u2013254 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"54_CR10","first-page":"1","volume":"2008","author":"M Klaver","year":"2008","unstructured":"Klaver, M., Luiijf, H., Nieuwenhuijs, A., Cavenne, F., Ulisse, A., Bridegeman, G.: European risk assessment methodology for critical infrastructures. INFRA 2008, 1\u20135 (2008)","journal-title":"INFRA"},{"issue":"1","key":"54_CR11","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1504\/IJCIS.2013.051606","volume":"9","author":"P Kotzanikolaou","year":"2013","unstructured":"Kotzanikolaou, P., Theoharidou, M., Gritzalis, D.: Assessing \n                      \n                        \n                      \n                      $$n$$\n                      \n                        \n                          n\n                        \n                      \n                    -order dependencies between critical infrastructures. Int. J. Crit. Infrastruct. 9(1), 93\u2013110 (2013)","journal-title":"Int. J. Crit. Infrastruct."},{"key":"54_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-41476-3_9","volume-title":"Critical Information Infrastructure Security","author":"P Kotzanikolaou","year":"2013","unstructured":"Kotzanikolaou, P., Theoharidou, M., Gritzalis, D.: Interdependencies between critical infrastructures: analyzing the risk of cascading effects. In: Bologna, S., H\u00e4mmerli, B., Gritzalis, D., Wolthusen, S. (eds.) CRITIS 2011. LNCS, vol. 6983, pp. 104\u2013115. Springer, Heidelberg (2013)"},{"issue":"4","key":"54_CR13","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. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"54_CR14","unstructured":"U. D. of Homeland Security. Nipp supplemental tool: Executing a critical infrastructure risk management approach (2013)"},{"key":"54_CR15","volume-title":"Protecting Critical Infrastructure in the EU","author":"R Renda","year":"2010","unstructured":"Renda, R.: Protecting Critical Infrastructure in the EU. CEPS Task Force, Brussels (2010)"},{"issue":"6","key":"54_CR16","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/37.969131","volume":"21","author":"S Rinaldi","year":"2001","unstructured":"Rinaldi, S., Peerenboom, J., Kelly, T.: Identifying, understanding, and analyzing critical infrastructure interdependencies. Control Syst. 21(6), 11\u201325 (2001)","journal-title":"Control Syst."},{"issue":"1","key":"54_CR17","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1504\/IJOR.2012.044029","volume":"13","author":"T Rossi","year":"2012","unstructured":"Rossi, T., Pero, M.: A formal method for analysing and assessing operational risk in supply chains. Int. J. Oper. Res. 13(1), 90\u2013109 (2012)","journal-title":"Int. J. Oper. Res."},{"issue":"2","key":"54_CR18","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1504\/IJRAM.2011.042113","volume":"15","author":"M Theoharidou","year":"2011","unstructured":"Theoharidou, M., Kotzanikolaou, P., Gritzalis, D.: Risk assessment methodology for interdependent critical infrastructures. Int. J. Risk Assess. Manag. 15(2), 128\u2013148 (2011)","journal-title":"Int. J. Risk Assess. Manag."},{"issue":"2","key":"54_CR19","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1111\/j.1467-9299.2011.01926.x","volume":"89","author":"M Eeten Van","year":"2011","unstructured":"Van Eeten, M., Nieuwenhuijs, A., Luiijf, E., Klaver, M., Cruz, E.: The state and the threat of cascading failure across critical infrastructures: the implications of empirical evidence from media incident reports. Public Adm. 89(2), 381\u2013400 (2011)","journal-title":"Public Adm."},{"issue":"5","key":"54_CR20","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1016\/S0925-7535(01)00078-9","volume":"41","author":"D Vernez","year":"2003","unstructured":"Vernez, D., Buchs, D., Pierrehumbert, G.: Perspectives in the use of coloured Petri nets for risk analysis and accident modelling. Saf. Sci. 41(5), 445\u2013463 (2003)","journal-title":"Saf. Sci."}],"container-title":["Lecture Notes in Computer Science","Human Aspects of Information Security, Privacy, and Trust"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20376-8_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T15:20:56Z","timestamp":1583508056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-20376-8_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319203751","9783319203768"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20376-8_54","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":"21 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}