Skip to main content
Figure 6 | BMC Systems Biology

Figure 6

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

Figure 6

HFPNe model of a single VPC in Figure 5. The naming rules of the VPC fate model are defined as follows: (i) each "entity" is labeled with the name of a substance (e.g. LIN-3, LET-60, and lst gene), (ii) the name of a complex consisting of two or more protein components A1, A2, ⋯, A M (M ∈ Z+) is represented as A1 _A2_ ⋯ _A M , and (iii) an additional label (C) or (N) is attached at the end of a substance name, when it happens to distinguish the location of the substance in the cytoplasm or the nucleus. The label of {active} denotes the active state of the enzyme, and {p} denotes that the substance is phosphorylated.

Back to article page