.
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-03-10T19:13:52Z by
OpenModelica
OpenModelica 1.26.3 using
GenerateDoc.mos