Sciweavers

74
Voted
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 10 days 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...