Skip to main content

Table 3 CTL formulas related to cell cycle subnetwork in Figure 6A and verification results

From: A novel procedure for statistical inference and verification of gene regulatory subnetwork

 

CTL Formula

Result

Q1:

Fus3 = 1 → AX(Dig1/2 = −1)

True

Q2:

AG(Ste11 = 1 → AX(Ste7 = 1))

False

Q3:

Msg5 = 1 → AF(Fus3 < 0 & Far1 < 0 & Dig1/2 = 1)

True

Q4:

AG((Ste7 = 1 → AF(Fus3 = 1)) & (Fus3 = 1 → AF(Ste7 = 1)))

False

Q5:

AG((Swi4/6 = 1 → AF(Cdc6 ≥ 0)))

True

Q6:

AG((Swi4/6 = 1 → AF(Cln12 ≥ 0)))

True

Q7:

AG((Cdc45 = 1 | Msg5 = 1 → EF(Cdc28 = 1 & Mcm2/3/6 ≥ 0)))

False

Q8:

EG((Swi4/6 = 1 → EF(Cdc28 ≤ 0)))

True

Q9:

AG((Mcm2/3/6 = 1 → AF(Cln12 = 1)) & (Cln12 = 1 → AF(Mcm2/3/6 ≤ 0)))

True

Back to article page

BMC Bioinformatics

ISSN: 1471-2105

Contact us