Figure 3From: Modeling and analysis of cell membrane systems with probabilistic model checkingTraditional solutions for potassium outside the cell in the sodium-potassium pump model. Potassium concentration in M outside the cell over time for the ODE approach (dashed line and y axis on the right) and count of potassium ions outside the cell given by a simulation trace (solid line and y axis on the left).Back to article page