|
|
The _libhpng_ is a Java library provided for the analysis and simulation of hybrid Petri nets. The root folder of this GitHub repository contains some basic documentations, the XMLSchema file for the models, some model examples, log files, a _Maven_ configuration file and the source folder _src/_.
|
|
|
The _libhpng_ is a Java library provided for the analysis and simulation of hybrid Petri nets with general transitions (HPnGs). The root folder of this GitHub repository contains some basic documentations, the XMLSchema file for the models, some model examples, log files, a _Maven_ configuration file and the source folder _src/_.
|
|
|
|
|
|
There is a _Main.java_ included (in the package _main_) for the basic use of the _libhpng_ library. Its _main_ function is a console application using _Java Spring Shell_ ([http://projects.spring.io/spring-shell/](http://projects.spring.io/spring-shell/)) for the user's input. We recommend to use _Maven_ ([https://maven.apache.org/](https://maven.apache.org/)) for a proper inclusion of all needed referenced libraries.
|
|
|
|
|
|
The tool contains different main functionalities using discrete-event simulation for HPnGs:
|
|
|
* Plotting the fluid levels of continuous places for a fixed period of time
|
|
|
* Model Checking a property expressed in the _Stochastic Time Logic_ by using the hypothesis test technique of the _Sequential Probability Ratio Test_, verifying if the probability of a property to hold is greater or lower than a particular threshold.
|
|
|
* Calculating a confidence interval for the probability of such a property to hold.
|
|
|
|
|
|
You can find a list of the [list of shell commands](https://github.com/jannikhuels/libhpng/wiki/Shell-commands) as well as information on [the required input](https://github.com/jannikhuels/libhpng/wiki/The-required-model-file) and on the [definition of properties](https://github.com/jannikhuels/libhpng/wiki/Model-checking-properties) in this section. |
|
|
\ No newline at end of file |