Sciweavers

2 search results - page 1 / 1
» Design Issues for Qualitative Modelling of Biological Cells ...
Sort
View
67
Voted
FMSB
2008
130views Formal Methods» more  FMSB 2008»
14 years 11 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»
14 years 9 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