Browsing by Subject "Critical infrastructures"
Now showing items 1-2 of 2
-
Article
Risk modeling and analysis of interdependencies of critical infrastructures using colored timed petri nets
(2015)Petri Nets (PNs) and their variations are a graphical, mathematical language that can be used for the specification, analysis and verification of discrete event systems, including Critical Infrastructures (CIs). Colored ...
-
Conference Object
Supervisory control strategies for enhancing system security and privacy
(2010)Enhancing the security and reliability of automated systems that control vital national infrastructures, such as energy and water distribution systems, has recently emerged as a critical aspect of maintaining, protecting, ...