Research article
Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension
-
* Corresponding author: Masao Nagasaki masao@ims.u-tokyo.ac.jp
- † Equal contributors
Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan
BMC Systems Biology 2009, 3:42 doi:10.1186/1752-0509-3-42
Published: 27 April 2009Additional files
Additional File 1:
Preliminary notations and mathematical definitions of Rule I and Rule II. The data provide the details of preliminary notations and mathematical definitions of two rules to determine the cell fate.
Format: PDF Size: 40KB Download file
This file can be viewed with: Adobe Acrobat Reader
Additional File 2:
Simulation results of 44 genotypes. The data give the 10,000 simulation results without unstable fate patterns. Yellowish region means that corresponding genotype possesses experimental evidences exhibited in [32]. Bright yellow cells give the fitting scores of predicted fate patterns.
Format: PDF Size: 309KB Download file
This file can be viewed with: Adobe Acrobat Reader