. 2019 Feb 15;10:90. doi: 10.3389/fphys.2019.00090

Table 4.

Delay Constraints obtained for the ERBB Receptor-regulated G1/S transition BRN through modeling of its corresponding system of Automata in HyTech.

Path	ERα₁CDK2₀CycD1₀p27₀CDK6₀CDK4₀p21₀pRB₀→
Path	ERα₁CDK2₀CycD1₁p27₀CDK6₁CDK4₁p21₀pRB₁
Delay	$d_{p R B_{1}}^{+} \geq d_{C D K 4_{1}}^{+} \land d_{p R B_{1}}^{+} \geq d_{C D K 6_{1}}^{+} \land d_{p R B_{1}}^{+} \geq \| d_{E R α_{1}}^{-} \| \land$
Constraints	$d_{p R B_{1}}^{+} \leq d_{C D K 2_{1}}^{+} \land d_{p R B_{1}}^{+} \geq \| d_{C y c D 1_{1}}^{-} \| \land d_{p R B_{1}}^{+} \leq d_{p 2 7_{1}}^{+} \land$
	$d_{p R B_{1}}^{+} + \| d_{C D K 6_{1}}^{-} \| \leq d_{C D K 6_{1}}^{+} \land d_{p R B_{1}}^{+} + \| d_{C D K 4_{1}}^{-} \| \leq d_{C D K 4_{1}}^{+} \land$
	$d_{p R B_{1}}^{+} \leq d_{p 2 1_{1}}^{+}$

The constraints on the parametric delays for the path from the State 〈1, 0, 0, 0, 0, 0, 0, 0〉 to the State 〈1, 0, 1, 0, 1, 1, 0, 1〉, in which the protein pRB is expressed, are given.