Article
Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension.
BMC systems biology - 27 Apr 2009
Li Chen, Nagasaki Masao, Ueno Kazuko, Miyano Satoru
Abstract excerpt
BACKGROUND: Model checking approaches were applied to biological pathway validations around 2003. Recently, Fisher et al. have proved the importance of model checking approach by inferring new regulation of signaling crosstalk in C. elegans and confirming the regulation with biological experiments. They took a discrete and state-based approach to explore all possible states of the system underlying vulval...
Topics
- Animals
- Caenorhabditis elegans
- Cell Differentiation
- Cell Lineage
- Computational Biology
- Female
- Genotype
- Models, Biological
- Mutation
- Software
- Vulva