Critical Infrastructures are constantly affected by threats of various nature. Contingency planning in this context is needed in order to ensure an adequate management of emergencies. In particular, emergency response plans define the interactions and operations to be performed inside the infrastructure and among different systems during the occurrence of emergencies. The criticality of these systems need a proper methodology for the analysis of the designed emergency plans. In this paper we propose the Coloured Petri Net formalism as the basis for modeling and analysis of emergency response plans. © 2013 Springer-Verlag.
CITATION STYLE
Cheminod, M., Bertolotti, I. C., Durante, L., & Valenzano, A. (2013). Modeling emergency response plans with coloured Petri Nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7722 LNCS, pp. 106–117). https://doi.org/10.1007/978-3-642-41485-5_10
Mendeley helps you to discover research relevant for your work.