Modeling Emergency Response Plans with Coloured Petri Nets (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• Modeling Emergency Response Plans with Coloured Petri Nets (Contributo in atti di convegno) (literal)

Anno

• 2013-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-642-41485-5_10 (literal)

Alternative label

• M. Cheminod; I. Cibrario Bertolotti; L. Durante; A. Valenzano (2013)
  Modeling Emergency Response Plans with Coloured Petri Nets
  in 7th International Workshop on Critical Information Infrastructures Security (CRITIS 2012), Lillehammer, 17-18 Settembre 2012
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• M. Cheminod; I. Cibrario Bertolotti; L. Durante; A. Valenzano (literal)

Pagina inizio

• 106 (literal)

Pagina fine

• 117 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://link.springer.com/chapter/10.1007%2F978-3-642-41485-5_10 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• Critical Information Infrastructures Security (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• 7722 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 12 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni, CNR-IEIIT, Torino, Italia (literal)

Titolo

• Modeling Emergency Response Plans with Coloured Petri Nets (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-642-41484-8 (literal)

Abstract

• 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. (literal)

Editore

• Springer (Editore)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001) (Modulo)
• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)

Autore CNR

• MANUEL CHEMINOD (Persona)
• LUCA DURANTE (Unità di personale interno)
• IVAN CIBRARIO BERTOLOTTI (Persona)
• ADRIANO VALENZANO (Persona)

Insieme di parole chiave

• Keywords of "Modeling Emergency Response Plans with Coloured Petri Nets" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni (IEIIT) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.001) (Modulo)

Autore CNR di

• IVAN CIBRARIO BERTOLOTTI (Persona)
• ADRIANO VALENZANO (Persona)
• LUCA DURANTE (Unità di personale interno)
• MANUEL CHEMINOD (Persona)

Editore di

• Springer (Editore)

Insieme di parole chiave di

• Keywords of "Modeling Emergency Response Plans with Coloured Petri Nets" (Insieme di parole chiave)