Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic

被引：161
作者：
Bernot, G
Comet, JP
Richard, A
Guespin, J
机构：
[1] CNRS, UMR 8042, Lab Methodes Informat, F-91025 Evry, France
[2] Univ Evry, F-91025 Evry, France
[3] Univ Rouen, GR Biol Integrat & Modelisat, Lab Microbiol Froid, F-76821 Mont St Aignan, France
来源：
JOURNAL OF THEORETICAL BIOLOGY | 2004年 / 229卷 / 03期
关键词：
biological regulatory networks; formal methods; temporal logic; model checking;
D O I：
10.1016/j.jtbi.2004.04.003
中图分类号：
Q [生物科学];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
Based on the discrete definition of biological regulatory networks developed by Rene 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. (C) 2004 Elsevier Ltd. All rights reserved.
引用
收藏
页码：339 / 347
页数：9
相关论文
共 27 条
  • [1] Positive and negative feedback: Striking a balance between necessary antagonists
    Cinquin, O
    Demongeot, J
    [J]. JOURNAL OF THEORETICAL BIOLOGY, 2002, 216 (02) : 229 - 241
  • [2] Modeling and simulation of genetic regulatory systems: A literature review
    De Jong, H
    [J]. JOURNAL OF COMPUTATIONAL BIOLOGY, 2002, 9 (01) : 67 - 103
  • [3] DYNAMICAL CONFINEMENT IN NEURAL NETWORKS AND CELL-CYCLE
    DEMONGEOT, J
    BENAOUDA, D
    JEZEQUEL, C
    [J]. CHAOS, 1995, 5 (01) : 167 - 173
  • [4] Genetic regulation networks: circuits, regulons and attractors
    Demongeot, J
    Aracena, J
    Thuderoz, F
    Baum, TP
    Cohen, O
    [J]. COMPTES RENDUS BIOLOGIES, 2003, 326 (02) : 171 - 188
  • [5] Positive feedback circuits and memory
    Demongeot, L
    Kaufman, M
    Thomas, R
    [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE III-SCIENCES DE LA VIE-LIFE SCIENCES, 2000, 323 (01): : 69 - 79
  • [6] Identification of all steady states in large networks by logical analysis
    Devloo, V
    Hansen, P
    Labbé, M
    [J]. BULLETIN OF MATHEMATICAL BIOLOGY, 2003, 65 (06) : 1025 - 1051
  • [7] Emerson E.A., 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, P995, DOI [DOI 10.1016/B978-0-444-88074-1.50021-4, 10.1016/B978-0-444-88074-1.50021-4.]
  • [8] Positive feedback circuits and adaptive regulations in bacteria
    Guespin-Michel, J
    Kaufman, M
    [J]. ACTA BIOTHEORETICA, 2001, 49 (04) : 207 - 218
  • [9] Engineered gene circuits
    Hasty, J
    McMillen, D
    Collins, JJ
    [J]. NATURE, 2002, 420 (6912) : 224 - 230
  • [10] Genomics, complexity and drug discovery: insights from Boolean network models of cellular regulation
    Huang, S
    [J]. PHARMACOGENOMICS, 2001, 2 (03) : 203 - 222
123