Table 4 The molecular model for the eukaryotic heat shock response proposed in 25.
From: Scalable reaction network modeling with automatic validation of consistency in Event-B
(1) | \(2 \mathsf {hsf}\rightleftarrows \mathsf {hsf}_{2}\) | (7) | \(\mathsf {hsp}+\mathsf {hsf}_{3}\rightarrow \mathsf {hsp:hsf}+2 \mathsf {hsf}\) |
(2) | \(\mathsf {hsf}+\mathsf {hsf}_{2}\rightleftarrows \mathsf {hsf}_{3}\) | (8) | \(\mathsf {hsp}+\mathsf {hsf}_{3}:hse\rightarrow \mathsf {hsp:hsf}+2 \mathsf {hsf}+\mathsf {hse}\) |
(3) | \(\mathsf {hsf}_{3}+\mathsf {hse}\rightleftarrows \mathsf {hsf}_{3}:hse\) | (9) | \(\mathsf {hsp}\rightarrow \emptyset \) |
(4) | \(\mathsf {hsf}_{3}:hse\rightarrow \mathsf {hsf}_{3}:hse+ \mathsf {hsp}\) | (10) | \(\mathsf {prot}\rightarrow \mathsf {mfp}\) |
(5) | \(\mathsf {hsp}+\mathsf {hsf}\rightleftarrows \mathsf {hsp:hsf}\) | (11) | \(\mathsf {hsp}+\mathsf {mfp}\rightleftarrows \mathsf {hsp:mfp}\) |
(6) | \(\mathsf {hsp}+\mathsf {hsf}_{2}\rightarrow \mathsf {hsp:hsf}+ \mathsf {hsf}\) | (12) | \(\mathsf {hsp:mfp}\rightarrow \mathsf {hsp}+\mathsf {prot}\) |
