PNlib - An Advanced Petri Net Library for Hybrid Process Modeling
Sabrina Proß, Bernhard Bachmann · Linköping electronic conference proceedings · 2012
A new Petri net library, called PNlib, is presented to enable graphical hierarchical modeling, hybrid simulation, and animation of processes in life sciences, technical applications, among others. In order to model these most different processes, a new powerful and universally usable mathematical modeling concept – xHPN (extended Hybrid Petri Net) – has been established. This formalism is used as specification for the PNlib (Petri Net library) realized by the object-oriented modeling language Modelica. The application of the new environment is demonstrated by three selected examples. The first example demonstrates the representation of functional principles by a model of a Senseo coffee machine and the second one is a model of a printing production process. The third example presents the applicability of modeling business processes. All models are provided as application cases in the library.