Figure 1From: Modeling and analysis of cell membrane systems with probabilistic model checkingThe sodium-potassium exchange pump mechanism. The Na,K-pump that moves two potassium ions from outside the cell to inside and three sodium ions from inside the cell to outside by the breakdown of ATP molecules.Back to article page