GNA

GNA performs qualitative modeling and simulation of gene regulatory networks using piecewise-linear differential equation models to analyze regulatory dynamics in bacterial systems such as Escherichia coli during carbon starvation.

Key Features:

• Model Construction: Defines and builds gene regulatory network models by integrating regulatory interactions with gene expression data.
• Qualitative Simulation: Simulates network behavior qualitatively to assess responses to external perturbations.
• Steady State Analysis: Identifies steady states and stable configurations of gene expression within modeled systems.
• Model-Checking Tools: Analyzes and verifies simulation results using model-checking tools.

Scientific Applications:

• Bacterial regulatory network modeling: Applied to model the network of global regulators that control Escherichia coli adaptation to carbon starvation.

Methodology:

Constructs piecewise-linear differential equation models and performs qualitative simulation, steady-state analysis, and model-checking while integrating regulatory interactions with gene expression data.