Skip to main content
Figure 7 | BMC Systems Biology

Figure 7

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

Figure 7

A schematized diagram depicting the fate specification methods by using Rule I and Rule II. "τ i of Rule I" represents the first time epoch that the concentration of 1° (m18) exceeds threshold_ 1, and the time length interval_ starting from "τ i of Rule I" is longer than or equal to the given interval when using Rule I. "τ j of Rule II" represents the first time epoch that the concentration of 1° exceeds threshold_ 1, no matter how long this interval will continue when using Rule II. τ i represents the first time epoch that the concentration of 2° (m30) exceeds threshold_ 2. Variables m18 (denoting the concentration of 1°) and m30 (denoting the concentration of 1°) are regarded as two cell fate candidates for determining final VPC fate. Pn.p_fate 1/2_record 1/2 indicated in the brackets are the entity names used in Cell Illustrator.

Back to article page