Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension.

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

Share this publication in a Topic to start or enrich a Post.

• Share to Caenorhabditis elegans
• Share to Cell Differentiation