.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-09-03T18:21:42Z by OpenModelicaOpenModelica 1.25.2 using GenerateDoc.mos