PNlib – A Modelica Library for Simulation of BiologicalSystems Based on Extended Hybrid Petri Nets

3rd International Workshop on Biological Processes & Petri Nets, a satellite event of PETRI NETS 2012

Sabrina Proß1, Sebastian Jan Janowski2, Bernhard Bachmann1,Christian Kaltschmidt3, and Barbara Kaltschmidt3 ; 2Bielefeld University ; Faculty of Technology ; Bielefeld ; Germany ; 3Bielefeld University, Faculty of Biology, Bielefeld, Germany

Others  :  http://ceur-ws.org/Vol-852/paper7.pdf
PID  :  43083

来源: CEUR

【 摘 要 】

We present a new Petri net simulation environment to enable the pro-cessing of experimental data to gain usable new insights about biological sys- tems. Therefore, a powerful mathematical modeling concept – xHPNbio (ex- tended Hybrid Petri Nets for biological applications) – has been defined whichis properly adapted to the demands of biological processes. This specification isused for the PNlib (Petri Net library), realized by means of the object-orientedmodeling language Modelica, which can be easily integrated for simulationprocessing in any other network modeling tool, as described in the last part ofthis paper. There, we briefly describe VANESA, a user-friendly biological net- work-modeling tool that uses the PNlib and the xHPNbio formalism for thesimulation of biological networks.