.PNlib.Examples.Models .PNlib.Examples.Modelscontains several examples and offers the possibility to structure further Petri net models
| 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 |