Skip to main content

Table 4 Properties of entities 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

Variable

Entity name

Entity type

Value type

Initial value

Variable description

AC

AC

Generic

Boolean

true/false

Entity can be switched according to the genotype

lin12

lin-12

Generic

String

"wt"/"ko"/"gf"

Entity can be switched according to the genotype

lin15

lin-15

Generic

Boolean

true/false

Entity can be switched according to the genotype

vul

vul

Generic

Boolean

true/false

Entity can be switched according to the genotype

lst

lst

Generic

Boolean

true/false

Entity can be switched according to the genotype

m 31

Pn.p_FinalFateII

Continuous

Double

0

Final Fate determined by Rule II

m 32

Pn.p_FinalFateI

Continuous

Double

0

Final Fate determined by Rule I

m 33

m 33

Generic

Boolean

true

An entity designed to judge if m18/m30 exceeds respective threshold when lin-12 is "wt"/"ko"

m 34

m 34

Generic

Boolean

true

An entity for judging if m18/m30 exceeds its threshold when lin-12 is "gf"

m 35

m 35

Generic

Boolean

false

An entity used as a flag to judge if m37 can get the time epoch when m18 is over threshold_1

m 36

m 36

Generic

Boolean

false

An entity used as a flag to judge if m38 can get the time epoch when m18 is below threshold_1

m 37

Pn.p_fate1_record1

Continuous

Double

0

An entity designed to reserve a time epoch that m18 exceeds threshold_1

M 38

Pn.p_fate1_record2

Continuous

Double

0

An entity designed to reserve a time epoch that m18 decreases below threshold_1

m 39

m 39

Generic

Boolean

false

An entity used as a flag to judge if m41 can get the time epoch when m30 is over threshold_2

m 40

m 40

Generic

Boolean

false

An entity used as a flag to judge if m42 can get the time epoch when m30 is below threshold_2

m 41

Pn.p_fate2_record1

Continuous

Double

0

An entity designed to reserve a time epoch that m30 exceeds threshold_2

m 42

Pn.p fate2_record2

Continuous

Double

0

An entity designed to reserve a time epoch that m30 decreases below threshold_2

m 43

Pn.p_m1_interval

Continuous

Double

0

Time difference between m38 and m37 that is the longest time interval at the present time epoch

m 44

Pn.p_fate1_init

Continuous

Double

0

Time epoch that m18 exceeds threshold_1 to the initial one in the time span of m43 corresponding

m 45

Pn.p_m2_interval

Continuous

Double

0

Time difference between m42 and m41 that is the longest time interval at the present time epoch

m 46

Pn.p_fate2_init

Continuous

Double

0

Time epoch that m30 exceeds threshold_2 corresponding to the initial one in the time span of m45

-

lin 3_init

Continuous

Double

100

Amount of LIN-3 impulse emanating from AC

-

Steady_state_time(Gonad)

Continuous

Double

400

Time epoch of substance that achieve a steady state level

simultime

Simulation_time

Continuous

Double

2000- getSamplingInterval(simulator)

The length of simulation time

Back to article page

BMC Systems Biology

ISSN: 1752-0509

Contact us