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 (version 2.0).