Reaction Systems for Modeling and Validation of Biological Signaling Pathways: G1/S Checkpoint of the Cell Cycle

Reaction Systems modeling is a compact, discrete, and qualitative modeling method for dynamic systems, including biochemical systems. In this paper, the G1/S checkpoint of the human cell cycle is modeled by Reaction Systems. This specific checkpoint is important since it plays role in tumor formation. Modeling discrete dynamic systems with Reaction Systems has many advantages over other modeling tools, i.e., the model is very small, deterministic and it is easy to use in simulations without any specific software package.

Automated summary

Reaction Systems modeling is a compact, discrete, and qualitative method for modeling dynamic systems, including biochemical systems. In this paper, the G1/S checkpoint of the human cell cycle was modeled using Reaction Systems, which is essential in understanding tumor formation. Modeling discrete dynamic systems with Reaction Systems offers advantages such as simplicity, determinism, and ease of simulation without the need for specific software packages.