Skip to main content

Table 5 Properties of processes for 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

Process

Process type

Process activity

p 25

Generic

if (IfTime(simulator, steady_state_time(Gonad)) && AC == true)

{return true;} else {return false;}

p 26

Generic

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

p 27

Generic

if ("gf".equals(lin12) && (getElapsedTime(simulator) >

simultime+getSamplingInterval(simulator)))

{return true;} else {return false;}

p 28

Generic

if ((m35 == true && m36 == true) && m18 > = threshold_1)

{return true;} else {return false;}

p 29

Generic

if (m18 > = threshold_1 && m35 == false) {return true;}

else {return false;}

p 30

Generic

if ((m35 == true && m36 == false && m18 < threshold_1) ||

(m35 == true && m36 == false && m18 > = threshold_1 &&

IfTime(simulator, simultime))) {return true;} else {return false;}

p 31

Generic

if (((m39 == true) && (m40 == true)) && (m30 > = threshold_2))

{return true;} else {return false;}

p 32

Generic

if ((m30 > = threshold_2) && (m39 == false)) {return true;} else {return false;}

p 33

Generic

if ((m39 == true && m40 == false && m30 < threshold_2) ||

(m39 == true && m40 == false && m30 > = threshold_2 &&

IfTime(simulator, simultime))) {return true;} else {return false;}

p 34

Generic

if ((m35 == true && m36 == true) || (m35 == true &&

getElapsedTime(simulator)>simultime)) {return true;} else

{return false;}

p 35

Generic

if ((m39 == true && m40 == true) || (m39 == true &&

getElapsedTime(simulator)>simultime)) {return true;} else

{return false;}

p 36

Generic

if (getElapsedTime(simulator)

> simultime+getSamplingInterval(simulator) &&

("gf".equals(lin12) == false)) {return true;} else {return false;}

p 37

Generic

if ((getElapsedTime(simulator)

> simultime + getSamplingInterval(simulator)) &&

"gf".equals(lin12)) {return true;} else {return false;}

  1. Table 5: External Java functions getElapsedTime(simulator), getSamplingInterval(simulator), and IfTime(simulator, time) return the value of elapsed time during simulation, the sampling interval of simulator, and true/false by judging if elapsed time equals to the value of time, respectively. All the functions are written in Pnuts language [48].