Skip to main content

Table 7 Detailed parameters and functions of Figure 8.

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

Variable name

Update function

c i (P1, threshold_ 1)

if ("gf".equals(lin12)) {return lin12gf_threshold_1;} else

{return normal_threshold_1;}

c j (P1, threshold_ 2)

if ("gf".equals(lin12)) {return lin12gf_threshold_2;} else

{return normal_threshold_2;}

c k (P2, interval)

if ("gf".equals(lin12)) {return lin12gf_interval;}

else

{return normal_interval;}

c p (P3, lin 12_init)

if ("gf".equals(lin12)) {return LSMass(2.0,1.0);}

else if ("ko".equals(lin12)) {return 0;}

else {return LSMass(1.0,1.0);}

  1. Table 7: The auto-switching mechanism of determining the value of threshold_ 1, threshold_ 2, interval and expression speed of lin12 under different mutant combinations as shown in the block of "Genotype Configuration" of Figure 8. If lin12 equals to "wt", a generic process P3 will fire to deposit LSMass(1.0,1.0) as an expression speed of lin-12; if lin12 equals to "ko", P3 will deposit 0; and if lin12 equals to "gf", P3 will fire to deposit LSMass(2.0,1.0) as the speed denoting an overexpression of lin-12. The variables of threshold_ 1, threshold_ 2 and interval are designed likewise. All update functions are written in Pnuts language [48]
Back to article page

BMC Systems Biology

ISSN: 1752-0509

Contact us