Dynamical modeling and analysis of large cellular regulatory networks

Chaos

Volumn 23, Issue 2, 2013, Pages

  Berenguier D ^a   Chaouiya, C ^b   Monteiro, P T ^b,c   Naldi, A ^d   Remy, E ^a   Thieffry, D ^e   Tichit, L ^a,f  

^a AIX MARSEILLE UNIVERSITÉ   (France)

^b INSTITUTO GULBENKIAN DE CIÊNCIA   (Portugal)

^c INESC ID   (Portugal)

^d UNIVERSITY OF LAUSANNE   (Switzerland)

^e ECOLE NORMALE SUPÉRIEURE   (France)

^f AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMAL; BIOLOGICAL MODEL; CELL DIFFERENTIATION; CELL POLARITY; COMPUTER SIMULATION; CYTOLOGY; ENTEROBACTERIA PHAGE LAMBDA; HELPER CELL; HUMAN; METABOLISM; SIGNAL TRANSDUCTION; ARTICLE; BACTERIOPHAGE LAMBDA;

ANIMALS; BACTERIOPHAGE LAMBDA; CELL DIFFERENTIATION; CELL POLARITY; COMPUTER SIMULATION; HUMANS; MODELS, BIOLOGICAL; SIGNAL TRANSDUCTION; T-LYMPHOCYTES, HELPER-INDUCER;

EID: 84880340067     PISSN: 10541500     EISSN: None     Source Type: Journal    
DOI: 10.1063/1.4809783     Document Type: Article

References (43)

1. Bahi J. Contassot-Vivier S. Basins of attraction in fully asynchronous discrete-time discrete-state dynamics networks. AIEEE Trans. Neural Networks 2006, 17:397-408. 10.1109/TNN.2005.863413.
2. Barnat J. Chaloupka J. van de Pol J. Distributed algorithms for SCC decomposition. J. Logic Comput. 2011, 21:23-44. 10.1093/logcom/exp003.
3. Batt G. Besson B. Ciron P.-E. de Jong H. Dumas E. Geiselmann J. Monte R. Monteiro P.T. Page M. Rechenmann F. Ropers D. Genetic network analyzer: A tool for the qualitative modeling and simulation of bacterial regulatory networks. Methods Mol. Biol. 2012, 804:439-462. 10.1007/978-1-61779-361-5_22, , ,.
4. Batt G. Ropers D. de Jong H. Geiselmann J. Mateescu R. Page M. Schneider D. Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli. Bioinformatics 2005, 21:i19-i28. 10.1093/bioinformatics/bti1048, ,.
5. Berge C. Graphs and Hypergraphs 1973, North-Holland Mathematical Library, Vol. 6 (North-Holland Pub. Co., Amsterdam, ).
6. Berthomieu B. Ribet P.-O. Vernadat. F. The tool TINA-construction of abstract state spaces for Petri nets and time Petri nets. Int. J. Prod. Res. 2004, 42:2741-2756. 10.1080/00207540412331312688.
7. Chabrier-Rivier N. Chiaverini M. Danos V. Fages F. Schächter V. Modeling and querying biomolecular interaction networks. Theor. Comput. Sci. 2004, 325(1):25-44. 10.1016/j.tcs.2004.03.063,.
8. Chaouiya C. Naldi A. Remy E. Thieffry D. Petri net representation of multi-valued logical regulatory graphs. Nat. Comput. 2011, 10:727-750. 10.1007/s11047-010-9178-0,.
9. Chaouiya C. Naldi A. Thieffry D. Logical modelling of gene regulatory networks with GINsim. Methods Mol. Biol. 2012, 804:463-479. 10.1007/978-1-61779-361-5_23.
10. Chaouiya C. Remy E. Mossé B. Thieffry D. Qualitative analysis of regulatory graphs: A computational tool based on a discrete formal framework. Lect. Notes Control Inf. Sci. 2003, 294:119-126. 10.1007/978-3-540-44928-7_17,.
11. Cimatti A. Clarke E. Giunchiglia E. Giunchiglia F. Pistore M. Roveri M. Sebastiani R. Tacchella A. NuSMV2: An OpenSource tool for symbolic model checking. Lect. Notes Comput. Sci. 2002, 2404:359-364. 10.1007/3-540-45657-0_29, ,.
12. Clarke E.M. Grumberg O. Peled D.A. Model Checking 1999, and (MIT Press, ).
13. Cormen T.H. Leiserson C.E. Rivest R.L. Stein C. Introduction to Algorithms 1990, and (MIT Press, ).
14. Fauré A. Naldi A. Chaouiya C. Thieffry D. Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics 2006, 22:e124-e131. 10.1093/bioinformatics/btl210,.
15. Fauré A. Naldi A. Lopez F. Chaouiya C. Ciliberto A. Thieffry D. Modular logical modelling of the budding yeast cell cycle. J. Mol. BioSyst. 2009, 5:1787-1796. 10.1039/b910101m, ,.
16. Geldenhuys J. Hansen H. Valmari A. Exploring the scope for partial order reduction. Lect. Notes Comput. Sci. 2009, 5799:39-53. 10.1007/978-3-642-04761-9_4.
17. Glass L. Kauffman S.A. The logical analysis of continuous, non-linear biochemical control networks. J. Theor. Biol. 1973, 39:103-129. 10.1016/0022-5193(73)90208-7.
18. Glass L. Siegelmann H.T. Logical and symbolic analysis of robust biological dynamics. Curr. Opin. Genet. Dev. 2010, 20(6):644-649. 10.1016/j.gde.2010.09.005.
19. Godefroid P. Partial-order methods for the verification of concurrent systems-an approach to the state-explosion problem. Lect. Notes Comput. Sci. 1996, 1032. 10.1007/3-540-60761-7, (ed.).
20. Hong T. Xing J. Li L. Tyson J. A simple theoretical framework for understanding heterogeneous differentiation of CD4+T cells. BMC Syst. Biol. 2012, 6:66. 10.1186/1752-0509-6-66,.
21. Klamt S. Saez-Rodriguez J. Lindquist J.A. Simeoni L. Gilles E.D. A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinform. 2006, 7:56. 10.1186/1471-2105-7-56,.
22. Mendes N.D. Lang F. Le Cornec Y.-S. Mateescu R. Batt G. Chaouiya C. Composition and abstraction of logical regulatory modules: Application to multicellular systems. Bioinformatics 2013, 29:749-757. 10.1093/bioinformatics/btt033, ,.
23. Mendoza L. Pardo F. A robust model to describe the differentiation of T-helper cells. Theory Biosci. 2010, 129:283-293. 10.1007/s12064-010-0112-x.
24. Monteiro P.T. Chaouiya C. Efficient verification for logical models of regulatory networks. Adv. Intell. Soft Comput. 2012, 154:259-267. 10.1007/978-3-642-28839-5_30.
25. Monteiro P. T. Ropers D. Mateescu R. Freitas A.T. de Jong H. Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics 2008, 24:i227-i233. 10.1093/bioinformatics/btn275,.
26. Naldi A. Berenguier D. Fauré A. Lopez F. Thieffry D. Chaouiya C. Logical modelling of regulatory networks with GINsim 2.3. Biosystems 2009, 97:134-139. 10.1016/j.biosystems.2009.04.008, ,.
27. Naldi A. Carneiro J. Chaouiya C. Thieffry D. Diversity and plasticity of Th cell types predicted from regulatory network modelling. PLoS Comput. Biol. 2010, 6:e1000912. 10.1371/journal.pcbi.1000912,.
28. Naldi A. Monteiro P. T. Chaouiya C. Efficient handling of large signalling-regulatory networks by focusing on their core control. Lect. Notes Comput. Sci. 2012, 7605:288-306. 10.1007/978-3-642-33636-2_17.
29. Naldi A. Remy E. Thieffry D. Chaouiya C. Dynamically consistent reduction of logical regulatory graphs. Theor. Comput. Sci. 2011, 412:2207-2218. 10.1016/j.tcs.2010.10.021,.
30. See for a beta version of GINsim that includes the construction of Hierarchical Transition Graphs.
31. Reif J.H. Depth-first search is inherently sequential. Inform. Process. Lett. 1985, 20:229-234. 10.1016/0020-0190(85)90024-9.
32. Saadatpour A. Albert I. Albert R. Attractor analysis of asynchronous Boolean models of signal transduction networks. J. Theor. Biol. 2010, 266:641-656. 10.1016/j.jtbi.2010.07.022.
33. Saez-Rodriguez J. Simeoni L. Lindquist J.A. Hemenway R. Bommhardt U. Arndt B. Haus U.-U. Weismantel R. Gilles E.D. Klamt S. Schraven B. A logical model provides insights into T cell receptor signaling. PLoS Comput. Biol. 2007, 3:e163. 10.1371/journal.pcbi.0030163, , ,.
34. Tarjan R. Depth-first-search and linear graph algorithms. SIAM J. Comput. 1972, 1:146-160. 10.1137/0201010.
35. Thieffry D. Thomas R. Dynamical behaviour of biological regulatory networks-II. Immunity control in bacteriophage lambda. Bull. Math. Biol. 1995, 57:277-297. 10.1007/BF02460619.
36. Thomas R. On the relation between the logical structure of systems and their ability to generate multiple steady states and sustained oscillations. Ser. Synergetics 1981, 9:180-193. 10.1007/978-3-642-81703-8_24.
37. Thomas R. D'Ari R. Biological Feedback 1990, and (CRC Press, ).
38. Thomas R. Thieffry D. Kaufman M. Dynamical behaviour of biological regulatory networks-I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. Math. Biol. 1995, 57:247-276. 10.1007/BF02460618.
39. Tournier L. Chaves M. Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics. J. Theor. Biol. 2009, 260:196-209. 10.1016/j.jtbi.2009.06.006.
40. van den Ham H.J. de Boer R.J. From the two-dimensional Th1 and Th2 phenotypes to high-dimensional models for gene regulation. Int. Immunol. 2008, 20:1269-1277. 10.1093/intimm/dxn093.
41. Willadsen K. Wiles J. Robustness and state-space structure of Boolean gene regulatory models. J. Theor. Biol. 2007, 249:749-765. 10.1016/j.jtbi.2007.09.004.
42. Wuensche A. Complex and chaotic dynamics, basins of attraction, and memory in discrete networks. Acta Phys. Pol. B - Proc. Suppl. 2010, 3:463-478. available at:.
43. See supplementary material at E-CHAOEH-23-010393 for details on the algorithm that constructs a hierarchical transition graph.