Figure 2From: Modeling and analysis of cell membrane systems with probabilistic model checkingReaction scheme for sodium-potassium pump. Reaction scheme for sodium-potassium pump mechanism based on Albers-Post model. E1 and E2 refer to conformationally distinct form of the pump, P is phosphate, ATP and ADP are adenosine tri- and di-phosphate respectively; , , , refer to intracellular and extracellular Na+ and K+, respectively.Back to article page