Springer Verlag, Lecture Notes in Control and Information Sciences, p. 119-126, 2004
DOI: 10.1007/978-3-540-44928-7_17
Full text: Unavailable
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.