Skip to main content

Table 10 Thresholds used 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

Connector Name

Connector description

Firing threshold

c1(m11, p19)

Active MAPK-1 represses the shedding process of ligand-receptor complex

4.3+rand()/10

C2(m5, p22)

Active LIN-3/LET-23 dimer represses the expression of lst

0.5+rand()/10

c3(m27, p6)

Expressed LST prevents SEM-5 from becoming an active form

0.09+rand()/10

c4(m27, p7)

Expressed LST prevents LET-60 from becoming an active form

0.09+rand()/10

c5(m27, p8)

Expressed LST prevents MPK-1 from becoming an active form

0.09+rand()/10