Browsing by Subject "Timing constraints"
Now showing items 1-1 of 1
-
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 ...