p53 production
∅ > x
Mdm2 dependent p53 degradation
x > ∅
p53 dependent Mdm2 precursor production
∅ > y0
Mdm2 synthesis from precursor
y0 > y
Mdm2 degradation
y = ∅
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.