Student Research Paper: Evaluation of the Dependability of Critical Infrastructures Using Hybrid Petri Nets with Random Variables and Stochastic Simulation

The focus of my Phd project is on the evaluation of the dependability of critical infrastructures, e.g. energy distribution and gas networks. The modeling formalism of hybrid Petri nets with random variables forms the basis of our modeling approach. We plan to rigorously evaluate dependability using discrete-event simulation and methods of Statistical Model Checking and extend existing approaches with methods of rare-event simulation.