Table 5. Formal models of generic reaction schemes.
Name | Formalized Form | Description |
---|---|---|
The Irreversible Consecutive Reactions |
⊢ ∀ k1 A B C t k2. rea_sch_01 A B C k1 k2 t = [irreversible,[1,A t; 0,B t; 0,C t],[0,A t; 1,B t; 0,C t],k1,&0; irreversible,[0,A t; 1,B t; 0,C t],[0,A t; 0,B t; 1,C t],k2,&0] |
rea_sch_01: It accepts the concentrations of the species A, B, C, the kinetic rate constants k1, k2, a real-valued time variable t and returns a list of two irreversible biological reactions (bio_reaction). |
The Consecutive Reactions with the Second Step Being Reversible |
⊢ ∀ k1 A B C t k2 k3. rea_sch_02 A B C k1 k2 k3 t = [irreversible,[1,A t; 0,B t; 0,C t],[0,A t; 1,B t; 0,C t],k1,&0; reversible,[0,A t; 1,B t; 0,C t],[0,A t; 0,B t; 1,C t],k2,k3] |
rea_sch_02: It accepts the concentrations of the species A, B, C, the kinetic rate constants k1, k2, k3, a real-valued time variable t and returns the list of biological reactions (bio_reaction). |
The Consecutive Reactions with First Step as a Reversible Reaction |
⊢ ∀ k1 k2 A B C t k3. rea_sch_03 A B C k1 k2 k3 t = [reversible,[1,A t; 0,B t; 0,C t],[0,A t; 1,B t; 0,C t],k1,k2; irreversible,[0,A t; 1,B t; 0,C t],[0,A t; 0,B t; 1,C t],k3,&0] |
rea_sch_03: It takes the concentrations of the species A, B, C, the kinetic rate constants k1, k2, k3 and the time variable t and returns the corresponding list of biological reactions (bio_reaction). |
The Consecutive Reactions with a Reversible Step |
⊢ ∀ k1 k2 A B C t k3. rea_sch_04 A B C k1 k2 k3 t = [reversible,[1,A t; 0,B t; 0,C t],[0,A t; 1,B t; 0,C t],k1,k2; irreversible,[1,A t; 0,B t; 0,C t],[0,A t; 0,B t; 1,C t],k3,&0] |
rea_sch_04: It accepts the concentrations of the species A, B, C, the kinetic rate constants k1, k2, k3, the time variable t and returns the list of corresponding biological reactions (bio_reaction). |