Free Modelica library for modelling xHPN.
The advanced Petri Net library, called PNlib, enables the modeling of extended hybrid Petri Nets (xHPN). It comprises
![]()
The main package PNlib is divided into the following sub-packages:
This package is licensed with the 3-Clause BSD License.
You may report feedback, issues or feature-requests using GitHub Issues.
| Name | Description |
|---|---|
| UsersGuide | Package containing explanations, references and contact information. |
| Examples | |
| Components | Contains component models to compose models of petri nets. |
| Interfaces | contains the connectors for the Petri net component models |
| Blocks | contains blocks with specific procedures that are used in the Petri net component models |
| Functions | contains functions with specific algorithmic procedures which are used in the Petri net component models |
| Constants | contains constants which are used in the Petri net component models |
| Types | contains Types which are used in the Petri net component models |