|
|
## The required model file
|
|
|
|
|
|
The model to be read into the program has to be an XML file which fulfils the requirements of the XMLSchema definition [HPnG.xsd](https://github.com/jannikhuels/libhpng/blob/master/xmlschema/HPnG.xsd).
|
|
|
Additional to this schema, you can find a rough overview here. (A general knowledge of hybrid petri nets is required.)
|
|
|
|
... | ... | |