Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework
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.
KeywordsLabel Graph Logical Parameter Dynamical Graph Genetic Regulatory Network Regulatory Graph
Unable to display preview. Download preview PDF.