Petri Net Modelling of Physical Vulnerability

Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini. Petri Net Modelling of Physical Vulnerability. In Sandro Bologna, Bernhard M. Hämmerli, Dimitris Gritzalis, Stephen D. Wolthusen, editors, Critical Information Infrastructure Security - 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers. Volume 6983 of Lecture Notes in Computer Science, pages 128-139, Springer, 2011. [doi]

Abstract

Abstract is missing.