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 PNs are an extension of classical PNs that are suitable for modeling and analyzing complex interconnected CIs. Timed PNs are another extension of PNs that support timing constraints and events. In this work we present a novel Risk Assessment methodology based on Timed Colored PNs for modeling and analyzing CIs with interdependencies, time-critical events and cascading effects.
CITATION STYLE
Agathangelou, C., Georgiou, C., Papailiou, I., Philippou, A., Pouis, L., Tertytchny, G., & Vakana, D. (2015). Risk modeling and analysis of interdependencies of critical infrastructures using colored timed petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9190, pp. 607–618). Springer Verlag. https://doi.org/10.1007/978-3-319-20376-8_54
Mendeley helps you to discover research relevant for your work.