Applications of a formal approach to decipher discrete genetic networks

BMC Bioinformatics

Table 4 Constraints between stationary states and between input parameters for each region and each mutant type for the model about gap-gene module of the segmentation of the D. melanogaster embryo

Type	species				Comments
wt	bcd	≥	≥	≥
	hb _m	≥	≥	≥
	cad	≤	≤	≤
	gt	>		<
	hb _z	≥	≥	≥
	kr	<	≥	≥
	kni	≤	<	>
gt 0	gt	≥	≥	≥	Knock-out
	hb _z	<	≥	≥
	Kr	≤	<	≤	Kni expands into D
hb 0	bcd	≥	≥	≥	Knock-out
	hb _m
	cad	≤	≤	≤
	gt				gt expand into BC
	hb _z				Knock-out
	kr				loss of kr into BC
	kni				loss of kni into BC
kr 0	gt				gt expands into BC
	hb _z	≥	≥	≥
	kr				Knock-out
	kni				loss of kni into BC
kni 0	gt			<
	hb _z	>	≥	≥
	kr	≥	≥	≥
	Kni	<			increase of kr into c knoct-out
bcd 0	bcd				Knock-out
	hb _m	≥	≥	≥
	cad	≤	≤	≤
	gt			<	loss of gt into A
	hb _z				loss of hb_zinto ABC
	kr				loss of kr into BC
	kni	≥	≥	>	kni expands into AB
hbm0	bcd	≥	≥	≥
	hb _m				Knock-out
	cad	≤	≤	≤
	gt	>		<
	hb _z	≥	≥	≥
	kr	<	≥	≥
	kni	≥	<	>
cad0	bcd	≥	≥	≥
	hb _m	≥	≥	≥
	cad
	gt	>			knock-out lass of gt into D
	hb _z	≥	≥	≥
	kr	<	≥	≥	increase of kr of into C
	kni				lass of kni into C
gt 1	gt				ectopic expression
	hb _z	≥	≥	≥
	kr	<	≥	≥
	kni				lass of kni into C
Kni 1	gt	≥	>	<	activation of gt into B
	hb _z	≥	≥	≥
	Kr			≥
	kni				lass of kr into B ectopic expression

ISSN: 1471-2105