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

Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini

Browse the full SAFECOMP paper archive.