Skip to main content

Table 1 Experimental data associated with the sodium-potassium pump cycle

From: Modeling and analysis of cell membrane systems with probabilistic model checking

Parameter

Value

Units

[]

0.02200

M

[]

0.14000

M

[]

0.12700

M

[]

0.01000

M

[ATP]

0.00500

M

[P i ]

0.00495

M

[ADP]

0.00006

M

f 1

2.5 × 1011

M–3s–1

f 2

104

s–1

f 3

172

s–1

f 4

1.5 × 107

M–2s–1

f 5

2 × 106

M–1s–1

f 6

1.15 × 104

s–1

b 1

105

s–1

b 2

105

M–1s–1

b 3

1.72 × 104

M–3s–1

b 4

2 × 105

M–1s–1

b 5

30

s–1

b 6

6 × 108

M–2s–1

cell volume

10–12

l

temperature

310

K

  1. Normal physiological parameters associated with the scheme in Fig. 2.[], [], [], [], [ATP], [P i ] and [ADP] are the concentrations of substrates. f i and b i are the rate constants, respectively, in the forward and backward direction for the reaction i in Fig. 2.