.
PNlib
.
Examples
.
Models
contains several examples and offers the possibility to structure further Petri net models
Contents
Name
Description
FlushToilet
Model of a flush toilet
Senseo
Model of a Senseo coffee machine
Printing
Model of a printing production process
PNproBP
Petri Nets for Modeling Business Processes
BicoloredPlaces
FiliP
Generated at 2026-01-16T19:13:58Z by
OpenModelica
OpenModelica 1.26.1 using
GenerateDoc.mos