Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa

  • Sabine Peres
  • Jean-Paul Comet 
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2602)


The Computational Tree Logic allows us to express some properties of genetic regulatory networks. These systems are studied using the feedback circuits evolved by René Thomas which constitute the semantic of our formal approach. We illustrate this formal language with the system of mucus production in pseudomonas aeruginosa, which is a mucoid bacteria that plays an important role in the cystic fibrosis. With the Thomas’ theory, we could wonder if the mucoid state could be a steady state alternative to the non-mucoid state.We would like to know whether it is possible to have a recurrent mucoid state. Model-checking allows us to prove that the formula which expresses this property is satisfied by certain models. Moreover, using this formal language we can propose scenarii for confronting the model to experimentation.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [B02]
    G. Bernot, J. Guespin-Michel, A. Zemirline, J.-P. Comet, F. Delaplace, P. Ballet, and P. Amar. Modelling, observability and experiment: a case study, positive feedback loop in a genetic regulatory network. Research report, LaMI, Univ. Evry, France, 2002. 47Google Scholar
  2. [CE81]
    E. M. Clarke and E. A. Emerson. Design and syntheses of synchronization skeletons using branching time temporal logic. In Proc. Logics of Programs Workshop, Yorktown Heights, New York, volume 131 of LNCS, pages 52–71. Springer, May 1981. 50Google Scholar
  3. [E90]
    E. A. Emerson. Handbook of theoretical computer science, Volume B: formal models and semantics, chapter Temporal and modal logic, pages 995–1072. MIT Press, 1990. 50MathSciNetGoogle Scholar
  4. [EH82]
    E. A. Emerson and J. Y. Halpern. Decision procedures and expressiveness in the temporal logic of branching time. In Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, San Francisco, California, pages 169-180, 5–7 May 1982. 50Google Scholar
  5. [G01]
    J. Guespin-Michel and M. Kaufman. Positive feedback circuits and adaptive regulation in bacteria. Acta Biotheoretica, 49, 2001. 48, 51, 55Google Scholar
  6. [R00]
    M. Huth and M. Ryan. Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, 2000. 47, 50, 55Google Scholar
  7. [ST93]
    E. H. Snoussi and R. Thomas. Logical identification of all steady states: the concept of feedback loop characteristic states. Bulletin of Mathematical Biology, 1993. 48, 49Google Scholar
  8. [TK01]
    R. Thomas and M. Kaufman. Multistationarity, the basis of cell differentiation and memory. i structural conditions of multistationarity and other nontrivial behavior. Chaos, 2001. 51Google Scholar
  9. [TT95-2]
    R. Thomas and D. Thieffry. Dynamical behaviours of regulatory networks-II. immunity control in bactériophage lambda. Bulletin of Mathematical Biology, 57(2):277–297, 1995. 48, 49, 51MATHGoogle Scholar
  10. [TTK95-1]
    R. Thomas, D. Thieffry, and M. Kaufman. Dynamical behaviours of regulatory networks-I. biological role of feedback loops and pratical use of the concept of feedback loop. Bulletin of Mathematical Biology, 57(2):247–276, 1995. 48, 51MATHGoogle Scholar
  11. [MTA99]
    L. Mendoza, D. Thieffry, and E. R. Alvarez-Buylla. Genetic control of flower morphogenesis in arabidopsis thaliana: a logical analysis. Bioinformatics, 15(7/8):593–606, 1999. 50CrossRefGoogle Scholar
  12. [ST2001]
    L. Sanchez and D. Thieffry. A logical analysis of the drosophila gap-gene system. J. Theor. Biol., 211:115–141, 2001. 50CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Sabine Peres
    • 1
  • Jean-Paul Comet 
    • 2
  1. 1.Physiologie MitochondrialeINSERM EMI 9929Bordeaux cedexFrance
  2. 2.LaMI, Tour Evry 2Evry CedexFrance

Personalised recommendations