Welcome to the HYPEG wiki!
This wiki is about the project "HYPEG" by the group of safety-critical systems which is part of the institute of Computer Science at the Westfälischen Wilhelms-Universität Münster and lead by Prof. Dr. Anne Remke.
This wiki is to give an overview about the HYPEG tool created for the investigation, simulation and model-checking of Hybrid Petri nets with general transitions.
You can find a detailed thesis on the development of the tool here. In particular, we point to the second chapter presenting the theoretical background of the tool.
HYPEG has recently been extended to support non-linear continuous behavior via state space discretization (version 2.0). Non-linear ordinary differential equations are supported on the dynamicapprox branch.
Finding optimal schedulers in nondeterministic models is supported on the schedulingML branch, for more information visit the scheduling section.