. 2010 Mar 26;6(3):e1000723. doi: 10.1371/journal.pcbi.1000723

Table 1. Abstraction methods used by `reb2sac` in the analysis of the fim circuit switch model.

Abstraction method^a	Entry^b
Quasi-steady-state approximation	abs[2][3]
Rapid equilibrium approximation	abs[2][2]
Production-passage-time approximation	abs[2][4]
Dimerization reaction reduction	abs[2][5]
Operator site reduction	abs[2][6]
Modifier constant propagation	abs[1][1]
Similar reaction combination	N/A
Kinetic law simplification	abs[3][1]
Irrelevant node elimination	abs[2][1]
Stoichiometry amplification	N/A
Reaction splitizations	N/A
Finite state system transformation	N/A
N-ary transformation	N/A

A detailed discussion of the listed abstraction methods can be found in references [63],[64],[138],[139].

^aMost recent version of reb2sac is included along with other tools as part of iBioSim GUI frontend, which is available for download at http://www.async.ece.utah.edu/iBioSim.

^bDescription of the default abstraction methods configuration for the analysis of the total and FimB-mediated ON-to-OFF switching in terms of the notation given in Figure 9.

Table 1. Abstraction methods used by reb2sac in the analysis of the fim circuit switch model.

Table 1. Abstraction methods used by `reb2sac` in the analysis of the fim circuit switch model.