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

  • Sabine Peres
  • Jean-Paul Comet 
Conference paper

DOI: 10.1007/3-540-36481-1_5

Volume 2602 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Peres S., Jean-Paul C. (2003) Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa. In: Priami C. (eds) Computational Methods in Systems Biology. CMSB 2003. Lecture Notes in Computer Science, vol 2602. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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