Active_BMAL1_degradation
y7 > ∅
BMAL1_activation
y6 > y7
BMAL1_deactivation
y7 > y6
BMAL1_nuclear_export
y6 > y5
BMAL1_nuclear_import
y5 > y6
BMAL1_translation
∅ > y5
Bmal1_mRNA_degradation
y4 > ∅
Bmal1_transcription
∅ > y4
cytoplasmic_BMAL1_degradation
y5 > ∅
cytoplasmic_per2_cry_complex_degradation
y2 > ∅
nuclear_BMAL1_degradation
y6 > ∅
nuclear_per2_cry_complex_degradation
y3 > ∅
per2_cry_complex_formation
∅ > y2
per2_cry_mRNA_degradation
y1 > ∅
per2_cry_nuclear_export
y3 > y2
per2_cry_nuclear_import
y2 > y3
per2_cry_transcription
∅ > y1
y5_y6_y7 = y5 + y6 + y7
trans_Bmal1 = v4b * pow(y3, r) / (pow(k4b, r) + pow(y3, r))
trans_per2_cry = v1b * (y7 + c) / (k1b * (1.0 + pow(y3 / k1i, hill_coeff)) + y7 + c)
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.