Skip to main content

Table 3 Entities in the HFPNe model of Figure 6

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

Entity Name

Variable (m x )

LIN-3(AC)

m 1

LET-23

m 2

LIN-3/LET-23 complex

m 3

LIN-3/LET-23 dimer

m 4

LIN-3/LET-23 dimer{p}

m 5

SEM-5

m 6

SEM-5{active}

m 7

LET-60

m 8

LET-60{active}

m 9

MPK-1

m 10

MPK-1{active}(C)

m 11

MPK-1{active}(N)

m 12

LIN-1/LIN-31 complex

m 13

LIN-31{active}

m 14

LIN-1{active}

m 15

Vulval gene mRNA

m 16

LS mRNA

m 17

1° cell fate

m 18

LS molecules(C)

m 19

LIN-12/Notch receptor

m 20

LIN-12R/LS complex

m 21

Cleaved fraction of LIN-12R/LS (extracellular domain)

m 22

Intracellular domain of LIN-12/LS complex (C)

m 23

Intracellular domain of LIN-12/LS complex (N)

m 24

LAG-1

m 25

LST mRNA

m 26

LST inhibitors

m 27

LIN-3 emanating from hyp7

m 28

LIN-15 in hyp7

m 29

2° cell fate

m 30

Final fate determined by Rule II

m 31

Final fate determined by Rule I

m 32

  1. Table 3: Variable m x ∈ {m1, ⋯, m32} indicates the concentration of each substance that actually takes part in the biological reactions. Initial value represents the initial content of an entity.