An object-oriented Petri net simulation tool for hybrid biological processes

摘要

A Petri net library, called PNlib, is presented to enable graphical hierarchical modeling, hybrid simulation and animation of processes in life sciences among others. In order to model these processes, a powerful and universally usable mathematical modeling concept - xHPN (extended Hybrid Petri Nets) - has been established. This formalism is used as specification for the PNlib realized by the object-oriented modeling language Modelica. The PNlib is freely available and can be downloaded on the Modelica homepage www.modelica.org/libraries.