|
|
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 _HPnG.xsd_ for the model validation, some model examples, log files, a _Maven_ configuration _pom.xml_ file and the source folder _src/_.
|
|
|
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/_.
|
|
|
|
|
|
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.
|
|
|
|
... | ... | |