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).