| ... | ... | @@ -2,10 +2,13 @@ |
|
|
|
|
|
|
|
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.
|
|
|
|
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](https://www.uni-muenster.de/imperia/md/content/informatik/agremke/masterarbeit_carina_pilch.pdf). 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).
|
|
|
|
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](https://zivgitlab.uni-muenster.de/ag-sks/tools/hypeg/-/wikis/scheduling)
|
|
|
|
|
|
|
|
[Start here to learn more](https://zivgitlab.uni-muenster.de/ag-sks/tools/hypeg/-/wikis/getting-started) |
|
|
\ No newline at end of file |
