title: Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic.
abstract: Based on the discrete definition of biological regulatory networks developed by René Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a set of given temporal properties. Our approach is illustrated with the mucus production in Pseudomonas aeruginosa. This application of formal methods from computer science to biological regulatory networks should open the way to many other fruitful applications.
authors.affiliation: La.M.I., Laboratoire de Méthodes Informatiques, UMR 8042, CNRS & Université d'Evry,Boulevard François Mitterrand, 91025 Evry Cedex, France. bernot@lami.univ-evry.fr
authors.forename: Gilles
authors.initials: G
authors.lastname: Bernot
authors.forename: Jean-Paul
authors.initials: JP
authors.lastname: Comet
authors.forename: Adrien
authors.initials: A
authors.lastname: Richard
authors.forename: Janine
authors.initials: J
authors.lastname: Guespin
mesh_terms: D019295:Computational Biology / Q000379:methods; D003198:Computer Simulation; D006706:Homeostasis / Q000502:physiology*; D008954:Models, Biological; D009093:Mucus / Q000378:metabolism; D011550:Pseudomonas aeruginosa / Q000378:metabolism; D013598:Systems Theory