.PNlib

Information

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.

License

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

Development and contribution

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

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

Contents

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