Sciweavers

2 search results - page 1 / 1
» Design Issues for Qualitative Modelling of Biological Cells ...
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
13 years 5 months ago
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 f...
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenst...
BMCBI
2006
205views more  BMCBI 2006»
13 years 4 months ago
Application of Petri net based analysis techniques to signal transduction pathways
Background: Signal transduction pathways are usually modelled using classical quantitative methods, which are based on ordinary differential equations (ODEs). However, some diffic...
Andrea Sackmann, Monika Heiner, Ina Koch