Design Issues for Qualitative Modelling of Biological Cells with Petri Nets

Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets for further analyses and insilico experiments. Instead of extending the formalism with ,,colours" or rates, as is most often done, we focus on preserving the simplicity of the formalism and developing an execution semantics which resembles biology

• Type: Conference
• Year: 2008
• Where: FMSB
• Authors: Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa
• Keywords: Biological Cell, Elegans Vulval Development, FMSB 2008, Formal Methods, Petri Nets