Skip to main content
Figure 4 | BMC Genomics

Figure 4

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

Figure 4

Summarization of the rate trends in sodium-potassium pump. Summarization of the trend for all transition rates in the pump cycle presented in Fig. 2. The arrows leaving the pump states are labelled with the rates for the transition between the current state and the following state, which is given by the direction of the arrow. Associated with each arrow, there is also a sign that indicates if the transition rate has always a positive trend (+) or a negative trend (-), and, finally, if the trend can be negative and also positive during the system evolution.

Back to article page