.
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 2025-09-16T18:21:07Z by
OpenModelica
OpenModelica 1.25.4 using
GenerateDoc.mos