Advertisement

Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework

  • Claudine Chaouiya
  • Elisabeth Remy
  • Brigitte Mossé
  • Denis Thieffry
Invited Session: Modelling and Identification of Biological Systems
Part of the Lecture Notes in Control and Information Science book series (LNCIS, volume 294)

Abstract

Building upon the logical approach developed by the group of R. Thomas in Brussels, we are defining a rigorous mathematical framework to model genetic regulatory graphs. Referring to discrete mathematics and graph-theoretic notions, our formal approach supports the development of a software suite in Java, GIN-sim, which allows the qualitative simulation and the analysis of the dynamics of regulatory graphs, under either synchronous or asynchronous updating assumptions.

Keywords

Label Graph Logical Parameter Dynamical Graph Genetic Regulatory Network Regulatory Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Authors and Affiliations

  • Claudine Chaouiya
    • 1
  • Elisabeth Remy
    • 2
  • Brigitte Mossé
    • 2
  • Denis Thieffry
    • 1
  1. 1.LGPD-IBDM, Campus de Luminy, Case 907, 13288 Marseille Cedex 9France
  2. 2.IML, Campus de Luminy, Case 907, 13288 Marseille Cedex 9France

Personalised recommendations