Simulating Hybrid Petri nets with general transitions and non-linear differential equations
Mathis Niehage, Carina Pilch, Anne Remke · 2020
Hybrid Petri nets with general transitions (HPnGs) are a modeling formalism with discrete, continuous and random variables, and have successfully been used to model critical infrastructures. Previous work extended the continuous dynamics to linear time-invariant systems, simulated via a quantized state space approach in the tool HYPEG. This method discretizes the state space to approximate solutions of the linear time-invariant systems.