|
|
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/_.
|
|
|
_HYPEG_ 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.
|
|
|
There is a _Main.java_ included (in the package _main_) for the basic use of _HYPEG_. 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
|
... | ... | |