A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems

Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini. A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. In Andrea Bondavalli, Felicita Di Giandomenico, editors, Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. Volume 8666 of Lecture Notes in Computer Science, pages 230-245, Springer, 2014. [doi]

Authors

Francesco Flammini

This author has not been identified. Look up 'Francesco Flammini' in Google

Ugo Gentile

This author has not been identified. Look up 'Ugo Gentile' in Google

Stefano Marrone

This author has not been identified. Look up 'Stefano Marrone' in Google

Roberto Nardone

Identified as Roberto Nardone

Valeria Vittorini

This author has not been identified. Look up 'Valeria Vittorini' in Google