|
|
### Getting started |
|
|
\ No newline at end of file |
|
|
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/_.
|
|
|
|
|
|
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_ 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. |
|
|
\ No newline at end of file |