packagePNlib

Version 3.0.0

Uses Modelica 4.0.0.

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).

iconsxHPN

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

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.

Contents

NameDescription
UsersGuidePackage containing explanations, references and contact information.
Examples
ComponentsContains component models to compose models of petri nets.
Interfacescontains the connectors for the Petri net component models
Blockscontains blocks with specific procedures that are used in the Petri net component models
Functionscontains functions with specific algorithmic procedures which are used in the Petri net component models
Constantscontains constants which are used in the Petri net component models
Typescontains Types which are used in the Petri net component models