Sciweavers

FMSB
2008
130views Formal Methods» more  FMSB 2008»
14 years 2 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...
ISVC
2009
Springer
14 years 7 months ago
A Quality Pre-processor for Biological Cell Images
We have developed a method to rapidly test the quality of a biological image, to identify appropriate segmentation methods that will render high quality segmentations for cells wit...
Adele P. Peskin, Karen Kafadar, Alden Dima