Table 4.

Properties of entities for the HFPNe model of Figure 6

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
m31	Pn.p_FinalFateII	Continuous	Double	0	Final Fate determined by Rule II
m32	Pn.p_FinalFateI	Continuous	Double	0	Final Fate determined by Rule I
m33	m33	Generic	Boolean	true	An entity designed to judge if m18/m30 exceeds respective threshold when lin-12 is "wt"/"ko"
m34	m34	Generic	Boolean	true	An entity for judging if m18/m30 exceeds its threshold when lin-12 is "gf"
m35	m35	Generic	Boolean	false	An entity used as a flag to judge if m37 can get the time epoch when m18 is over threshold_1
m36	m36	Generic	Boolean	false	An entity used as a flag to judge if m38 can get the time epoch when m18 is below threshold_1
m37	Pn.p_fate1_record1	Continuous	Double	0	An entity designed to reserve a time epoch that m18 exceeds threshold_1
M38	Pn.p_fate1_record2	Continuous	Double	0	An entity designed to reserve a time epoch that m18 decreases below threshold_1
m39	m39	Generic	Boolean	false	An entity used as a flag to judge if m41 can get the time epoch when m30 is over threshold_2
m40	m40	Generic	Boolean	false	An entity used as a flag to judge if m42 can get the time epoch when m30 is below threshold_2
m41	Pn.p_fate2_record1	Continuous	Double	0	An entity designed to reserve a time epoch that m30 exceeds threshold_2
m42	Pn.p fate2_record2	Continuous	Double	0	An entity designed to reserve a time epoch that m30 decreases below threshold_2
m43	Pn.p_m1_interval	Continuous	Double	0	Time difference between m38 and m37 that is the longest time interval at the present time epoch
m44	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
m45	Pn.p_m2_interval	Continuous	Double	0	Time difference between m42 and m41 that is the longest time interval at the present time epoch
m46	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
-	lin3_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