Figure 6.

PRISM curves for the sodium-potassium pump model. Expected amount of potassium outside the cell over time (dashed line) given by property (15) and count of potassium ions outside the cell given by a PRISM simulation trace (solid line).

Crepalde et al. BMC Genomics 2011 12(Suppl 4):S14   doi:10.1186/1471-2164-12-S4-S14