Skip to content

Changes

Page history
Updated Home (markdown) authored by carinapi's avatar carinapi
Show whitespace changes
Inline Side-by-side
Home.md
View page @ 53f7b218
...@@ -3,3 +3,5 @@ ...@@ -3,3 +3,5 @@
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 "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 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 libhpng library created for the investigation, simulation and model-checking of hybrid Petri nets with general transitions.
[Start here to learn more](https://github.com/jannikhuels/libhpng/wiki/Getting-started)
\ No newline at end of file