Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano. Modeling Emergency Response Plans with Coloured Petri Nets. In Bernhard M. Hämmerli, Nils Kalstad Svendsen, Javier Lopez, editors, Critical Information Infrastructures Security - 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012, Revised Selected Papers. Volume 7722 of Lecture Notes in Computer Science, pages 106-117, Springer, 2012. [doi]
Abstract is missing.