Despina Vakana

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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(More)
  • 1