r10: A suppression by Tregs of other specificity
A > ∅
r11: A suppression by R
A > ∅
r1a: self-antigen uptake
G > ∅
r1b: pAPC maturation
A_im > A
r2: self-antigen release triggered by E
∅ > G
r3: R activation by A
∅ > R
r4: R activation by A and E
∅ > R
r5: E generation by A
∅ > E
r6: A death
A > ∅
r7: R death
R > ∅
r8: E death
E > ∅
r9: G clearance
G > ∅
R0 = f * (v_max / k) * lambdaE * gamma / (mG * mA * muE)
mG = muG + v_max / k
mA = b1 + muA
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.