Skip to main content

Advertisement

Table 2 Minimal semi-positive P-invariant computation on bigger models of biochemical reaction networks

From: Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem

Model transit. places P-invar. time (s) Invariant size
Schoeberl's MAPK [8] 125 105 13 0.53 from 2 to 44
Calzone et al. E2F/Rb [31] ~500 ~400 79 18 from size 1 (EP300) to about 230 (E2F1 box)
Kohn's map [32] ~800 ~500 70 171 from size 1 (Myt1) to about 200 (pRb or cdk2)
  1. Minimal semi-positive P-invariant computation on bigger models of biochemical reaction networks