[PDF][PDF] Development of an event-based simulator for model checking hybrid Petri nets with random variables
C Pilch - Masterarbeit, Westfälische Wilhelms-Universität …, 2016 - uni-muenster.de
Hybrid Petri nets are used for modeling systems with discrete and continuous features. With
the help of these models, it is possible to design, observe and analyse this kind of hybrid …
the help of these models, it is possible to design, observe and analyse this kind of hybrid …
Analysis of hybrid Petri nets with random discrete events
H Ghasemieh - 2017 - research.utwente.nl
More and more, our society and economy rely on the correct operation of, often hidden,
critical infrastructures. These infrastructures such as the power grid and water and gas …
critical infrastructures. These infrastructures such as the power grid and water and gas …