Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Vakana, Despina"
Now showing items 1-1 of 1
-
Article
Risk modeling and analysis of interdependencies of critical infrastructures using colored timed petri nets
Agathangelou, Chrysovalandis; Georgiou, Chryssis; Papailiou, Ileana; Philippou, Anna; Pouis, Loucas; Tertytchny, G.; Vakana, Despina (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 ...