Abstract
The study of genetic regulatory networks, which underlie the functioning of living organisms, has received a major impetus from the recent development of high-throughput genomic techniques. This experimental progress calls for the development of appropriate computer tools supporting the analysis of genetic regulatory processes. We have developed a modeling and simulation method [5,7], based on piecewise-linear differential equations, that is well-adapted to the qualitative nature of most available biological data. The method has been implemented in the tool Genetic Network Analyzer (GNA) [6], which produces a graph of qualitative states and transitions between qualitative states. The graph provides a discrete abstraction of the dynamics of the system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alur, R., Belta, C., Ivančíc, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schlug, J.: Hybrid modeling and simulation of biomolecular networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 19–32. Springer, Heidelberg (2001)
Antoniotti, M., Mishra, B., Piazza, C., Policriti, A., Simeoni, M.: Modeling cellular behavior with hybrid automata: bisimulation and collapsing. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 57–74. Springer, Heidelberg (2003)
Batt, G., de Jong, H., Geiselmann, J., Page, M.: Analysis of genetic regulatory networks: A model-checking approach. In: Salles, P., Bredeweg, B. (eds.) Proc. 17th Int. Work. Qualitative Reasoning (QR 2003), Brasilia, Brazil, pp. 31–38 (2003)
Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 149–162. Springer, Heidelberg (2003)
de Jong, H., Geiselmann, J., Batt, G., Hernandez, C., Page, M.: Qualitative simulation of the initiation of sporulation. In: B. subtilis. Bull. Math. Biol. (2004) (in press)
de Jong, H., Geiselmann, J., Hernandez, C., Page, M.: Genetic Network Analyzer: Qualitative simulation of genetic regulatory networks. Bioinformatics 19(3), 336–344 (2003), http://www-helix.inrialpes.fr/gna
de Jong, H., Gouzé, J.-L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull. Math. Biol. (2004) (in press)
Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. Europ. Assoc. for Soft. Sci. and Tech (EASST) Newsletter 4, 13–24 (2002); Also INRIA Technical Report RT-0254 (2001), http://www.inrialpes.fr/vasy/cadp
Ghosh, R., Tiwari, A., Tomlin, C.: Automated symbolic reachability analysis; with application to delta-notch signaling automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 233–248. Springer, Heidelberg (2003)
Glass, L., Kauffman, S.A.: The logical analysis of continuous non-linear bio-chemical control networks. J. Theor. Biol. 39, 103–129 (1973)
Kohn, K.W.: Molecular interaction maps as information organizers and simulation guides. Chaos 11(1), 1–14 (2001)
Mateescu, R., Sighireanu, M.: Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program. 46(3), 255–281 (2003)
Peres, S., Comet, J.P.: Contribution of computational tree logic to biological regulatory networks: Example from P. aeruginosa. In: Priami, C. (ed.) First Int. Work. Comput. Meth. Systems Biol (CMSB 2003). LNCS, vol. 2602, pp. 47–56. Springer, Heidelberg (2003)
Shults, B., Kuipers, B.J.: Proving properties of continuous systems: Qualitative simulation and temporal logic. Artif. Intell. 92(1-2), 91–130 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Batt, G., Bergamini, D., de Jong, H., Garavel, H., Mateescu, R. (2004). Model Checking Genetic Regulatory Networks Using GNA and CADP. In: Graf, S., Mounier, L. (eds) Model Checking Software. SPIN 2004. Lecture Notes in Computer Science, vol 2989. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24732-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-24732-6_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21314-7
Online ISBN: 978-3-540-24732-6
eBook Packages: Springer Book Archive