Risk modeling and analysis of interdependencies of critical infrastructures using colored timed petri nets
Date
2015Author
Agathangelou, Chrysovalandis
Papailiou, Ileana
Philippou, Anna
Pouis, Loucas
Tertytchny, G.
Vakana, Despina
ISSN
0302-9743Source
3rd International Conference on Human Aspects of Information Security, Privacy and Trust, HAS 2015 Held as Part of 17th International Conference on Human-Computer Interaction, HCI International 2015Volume
9190Pages
607-618Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
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. © Springer International Publishing Switzerland 2015.
Collections
Cite as
Related items
Showing items related by title, author, creator and subject.
-
Article
Review of Petri Thomae Quaestiones de esse intelligibili, ed. Garrett R. Smith (Ancient and Medieval Philosophy I, vol. LII.1
Schabel, Christopher David (2016)
-
Conference Object
Probabilistic marking estimation in labeled petri nets
Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (Institute of Electrical and Electronics Engineers Inc., 2013)Given a labeled Petri net, possibly with silent transitions, we are interested in performing current marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial markings, ...
-
Article
Probabilistic marking estimation in labeled petri nets
Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (2015)Given a labeled Petri net, possibly with silent (unobservable) transitions, we are interested in performing marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial ...