Modeling Emergency Response Plans with Coloured Petri Nets

Critical Infrastructures are constantly affected by threats of various nature. Contingency planning in this context is needed in or- der 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.