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

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

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)

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

ISSN: 1748-7188