Table 2. Invariance Kernel of the significant cycle.

The invariance kernel dictates the delay constraints that are being followed in this cycle.

Qualitative cycle	(0, 1, 0, 0, 0, 0, 0, 1, 0) → (0, 1, 0, 0, 1, 0, 0, 1, 0) → (0, 1, 0, 0, 1, 1, 0, 1, 0) →(0, 1, 0, 0, 0, 1, 0, 1, 0) → (0, 1, 0, 0, 0, 0, 0, 1, 0)
Invariance kernel	Conjunction of constraint I–IV:
	I.	$d_{\mathrm{p53}}^{+}+\left|d_{\mathrm{Mdm2}}^{-}\right|\le d_{\mathrm{Mdm2}}^{+}+\left|d_{\mathrm{p53}}^{-}\right|$
	II.	$d_{\mathrm{Mdm2}}^{+}+\left|d_{\mathrm{p53}}^{-}\right|\le 0$
	III.	$\left|d_{\mathrm{Mdm2}}^{-}\right|\le d_{\mathrm{Mdm2}}^{+}+\left|d_{\mathrm{p53}}^{-}\right|$