Fig 1.
Proposed framework.
Table 1.
Zsyntax inference rules.
Table 2.
Definitions of Zsyntax formalization.
Fig 2.
Graphical depiction of formalization of Zsyntax.
(a) Elimination of the Z-Conjunction Rule (zsyn_conjun_elimin) (b) Introduction of Z-Conjunction (zsyn_conjun_intro) (c) Reactants Deletion (zsyn_delet) (d) EVF Matching (zsyn_EVF).
Table 3.
Formal verification of Zsyntax properties.
Table 4.
Definitions of reaction kinetics formalization.
Fig 3.
(a) Irreversible Consecutive Reactions (b) Consecutive Reactions with the Second Step being Reversible (c) Consecutive Reactions with the First Step as a Reversible Reaction (d) Consecutive Reactions with a Reversible Step.
Table 5.
Formal models of generic reaction schemes.
Table 6.
Formal verification of reaction kinetics properties.
Fig 4.
(a) Reaction Representing the TP53 Phosphorylation (b) Model for the Tumor Growth [20].
Fig 5.
(a) Reaction Representing the death of CSC (b) Another Model for the Growth of Tumor Cell.