.PNlib.Examples.Models

contains several examples and offers the possibility to structure further Petri net models

Contents

NameDescription
 FlushToiletModel of a flush toilet
 SenseoModel of a Senseo coffee machine
 PrintingModel of a printing production process
 PNproBPPetri Nets for Modeling Business Processes
 BicoloredPlaces
 FiliP
Generated at 2025-04-15T18:20:12Z by OpenModelicaOpenModelica 1.25.0 using GenerateDoc.mos