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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Rights and permissions
About this paper
Cite this paper
Chaouiya, C., Remy, E., Mossé, B., Thieffry, D. Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework. In: Benvenuti, L., De Santis, A., Farina, L. (eds) Positive Systems. Lecture Notes in Control and Information Science, vol 294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44928-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-44928-7_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40342-5
Online ISBN: 978-3-540-44928-7
eBook Packages: Springer Book Archive