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

doi:10.1186/1752-0509-3-42

BMC Systems Biology

Volume 3

Viewing options:

Abstract
Full text
PDF (24.2MB)
Additional files

Associated material:

Related literature:

Articles citing this article
on Google Scholar
on ISI Web of Science
on PubMed Central
Other articles by authors
on Google Scholar

Li C
Nagasaki M
Ueno K
Miyano S

on PubMed

Li C
Nagasaki M
Ueno K
Miyano S
Related articles/pages
on Google

on Google Scholar

on PubMed

Tools:

Nominate for award

Post to:

Twitter

Research article

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

Chen Li^* , Masao Nagasaki^* , Kazuko Ueno and Satoru Miyano

Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan

author email corresponding author email* Contributed equally

BMC Systems Biology 2009, 3:42doi:10.1186/1752-0509-3-42


Published:	27 April 2009

Additional 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