PNlib

Free Modelica library for modelling xHPN.

Library description

The advanced Petri Net library, called PNlib, enables the modeling of extended hybrid Petri Nets (xHPN). It comprises

• discrete (PD) and continuous places (PC),
• discrete (TD), stochastic (TS), and continuous transitions (TC), and
• test (TA), inhibitor (IA), and read arcs (RA).

The main package PNlib is divided into the following sub-packages:

• Interfaces: contains the connectors of 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.
• Examples: contains several examples and unit tests.

Current release

Download PNlib v3.0.0 (2024-02-13).

Compatibility

• Coverage with OpenModelica master and latest PNlib release:

  

• OpenModelica coverage reports:

  • Release: Nightly coverage reports
  • Master: Latest commit

• Works in Dymola 2017/2019/2020

License

This package is licensed with the 3-Clause BSD License.

Development and contribution

Hochschule Bielefeld – University of Applied Sciences and Arts
Faculty of Engineering and Mathematics

• Sabrina Proß
• Lennart Ochel
• Timo Lask
• Bernhard Bachmann

You may report feedback, issues or feature-requests using GitHub Issues.