|
|
### Welcome to the libhpng wiki!
|
|
### Welcome to the HYPEG wiki!
|
|
|
|
|
|
|
|
This wiki is about the project "libhpng" 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 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 _libhpng_ library 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](http://www.uni-muenster.de/imperia/md/content/informatik/agremke/masterthesis.pdf). In particular, we point to the second chapter presenting the theoretical background of the tool.
|
|
You can find a detailed thesis on the development of the tool [here](http://www.uni-muenster.de/imperia/md/content/informatik/agremke/masterthesis.pdf). In particular, we point to the second chapter presenting the theoretical background of the tool.
|
|
|
|
|
|
| ... | | ... | |
