.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-03-11T19:24:33Z by OpenModelicaOpenModelica 1.24.5 using GenerateDoc.mos