GINsim

GINsim models and analyzes genetic regulatory networks using qualitative (logical) formalisms and discrete mathematics to simulate and explore their dynamical behavior.

Key Features:

• Qualitative (logical) framework: Employs logical modeling advantageous when detailed kinetic data are scarce, enabling representation of regulatory relationships without quantitative parameters.
• Discrete mathematical and graph-theoretical formalisms: Represents networks using discrete states and graph-theoretical concepts to capture regulatory structure and interactions.
• Simulation engine: Computes qualitative dynamical behavior of genetic networks and simulates scenarios including wild-type conditions and perturbations such as loss-of-function mutations or ectopic gene expression.
• Network parameterization: Supports definition and parameterization of regulatory interactions for use in qualitative simulations and analyses.

Scientific Applications:

• Mammalian p53-Mdm2 network: A four-node model illustrating regulatory interactions within the p53–Mdm2 system.
• Bacteriophage λ lysis–lysogeny decision: Modeling of the decision-making process governing lysis versus lysogeny in bacteriophage λ.
• Fission yeast cell cycle: Logical modeling of the core regulatory network controlling the fission yeast cell cycle.
• Drosophila Notch regulatory network: Analysis of the inter-cellular regulatory network activating Notch at the dorsal–ventral boundary in Drosophila wing imaginal discs.

Methodology:

Uses qualitative (logical) modeling grounded in discrete mathematics and graph-theoretical concepts to compute qualitative dynamical behaviors, focusing on logical interactions rather than kinetic parameters.