Dynamical modeling and analysis of large cellular regulatory networks.

The dynamical analysis of large biological regulatory networks requires the development of scalable methods for mathematical modeling. Following the approach initially introduced by Thomas, we formalize the interactions between the components of a network in terms of discrete variables, functions, and parameters. Model simulations result in directed graphs, called state transition graphs. We are particularly interested in reachability properties and asymptotic behaviors, which correspond to terminal strongly connected components (or "attractors") in the state transition graph. A well-known problem is the exponential increase of the size of state transition graphs with the number of network components, in particular when using the biologically realistic asynchronous updating assumption. To address this problem, we have developed several complementary methods enabling the analysis of the behavior of large and complex logical models: (i) the definition of transition priority classes to simplify the dynamics; (ii) a model reduction method preserving essential dynamical properties, (iii) a novel algorithm to compact state transition graphs and directly generate compressed representations, emphasizing relevant transient and asymptotic dynamical properties. The power of an approach combining these different methods is demonstrated by applying them to a recent multilevel logical model for the network controlling CD4+ T helper cell response to antigen presentation and to a dozen cytokines. This model accounts for the differentiation of canonical Th1 and Th2 lymphocytes, as well as of inflammatory Th17 and regulatory T cells, along with many hybrid subtypes. All these methods have been implemented into the software GINsim, which enables the definition, the analysis, and the simulation of logical regulatory graphs.

[1]  Luis Mendoza,et al.  A robust model to describe the differentiation of T-helper cells , 2010, Theory in Biosciences.

[2]  Steffen Klamt,et al.  A methodology for the structural and functional analysis of signaling and regulatory networks , 2006, BMC Bioinformatics.

[3]  R Thomas,et al.  Dynamical behaviour of biological regulatory networks--I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. , 1995, Bulletin of mathematical biology.

[4]  John J. Tyson,et al.  A simple theoretical framework for understanding heterogeneous differentiation of CD4+ T cells , 2012, BMC Systems Biology.

[5]  Aurélien Naldi,et al.  Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle , 2006, ISMB.

[6]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[7]  Patrice Godefroid,et al.  Partial-Order Methods for the Verification of Concurrent Systems , 1996, Lecture Notes in Computer Science.

[8]  Denis Thieffry,et al.  Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework , 2003, POSTA.

[9]  Radu Mateescu,et al.  Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli , 2005, ISMB.

[10]  D. Thieffry,et al.  Modular logical modelling of the budding yeast cell cycle. , 2009, Molecular bioSystems.

[11]  John H. Reif,et al.  Depth-First Search is Inherently Sequential , 1985, Inf. Process. Lett..

[12]  Aurélien Naldi,et al.  Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control , 2012, CMSB.

[13]  Aurélien Naldi,et al.  Diversity and Plasticity of Th Cell Types Predicted from Regulatory Network Modelling , 2010, PLoS Comput. Biol..

[14]  Aurélien Naldi,et al.  Dynamically consistent reduction of logical regulatory graphs , 2011, Theor. Comput. Sci..

[15]  I. Albert,et al.  Attractor analysis of asynchronous Boolean models of signal transduction networks. , 2010, Journal of theoretical biology.

[16]  Rob J. de Boer,et al.  From the two-dimensional Th1 and Th2 phenotypes to high-dimensional models for gene regulation. , 2008 .

[17]  F. Vernadat,et al.  The tool TINA – Construction of abstract state spaces for petri nets and time petri nets , 2004 .

[18]  Claudine Chaouiya,et al.  Composition and abstraction of logical regulatory modules: application to multicellular systems , 2013, Bioinform..

[19]  Aurélien Naldi,et al.  Logical modelling of regulatory networks with GINsim 2.3 , 2009, Biosyst..

[20]  A. Wuensche,et al.  Complex and chaotic dynamics, basins of attraction, and memory in discrete networks , 2010 .

[21]  L. Tournier,et al.  Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics. , 2009, Journal of theoretical biology.

[22]  Radu Mateescu,et al.  Temporal logic patterns for querying dynamic models of cellular interaction networks , 2008, ECCB.

[23]  Sylvain Contassot-Vivier,et al.  Basins of attraction in fully asynchronous discrete-time discrete-state dynamic networks , 2006, IEEE Transactions on Neural Networks.

[24]  Leon Glass,et al.  Logical and symbolic analysis of robust biological dynamics. , 2010, Current opinion in genetics & development.

[25]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[26]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[27]  Claude Berge,et al.  Graphs and Hypergraphs , 2021, Clustering.

[28]  Vincent Danos,et al.  Modeling and querying biomolecular interaction networks , 2004, Theor. Comput. Sci..

[29]  François Rechenmann,et al.  Genetic network analyzer: a tool for the qualitative modeling and simulation of bacterial regulatory networks. , 2012, Methods in molecular biology.

[30]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[31]  Jaco van de Pol,et al.  Distributed Algorithms for SCC Decomposition , 2011, J. Log. Comput..

[32]  René Thomas On the Relation Between the Logical Structure of Systems and Their Ability to Generate Multiple Steady States or Sustained Oscillations , 1981 .

[33]  Jaco Geldenhuys,et al.  Exploring the Scope for Partial Order Reduction , 2009, ATVA.

[34]  Janet Wiles,et al.  Robustness and state-space structure of Boolean gene regulatory models. , 2007, Journal of theoretical biology.

[35]  Claudine Chaouiya,et al.  Efficient Verification for Logical Models of Regulatory Networks , 2012, PACBB.

[36]  L. Glass,et al.  The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.

[37]  R. Thomas,et al.  Dynamical behaviour of biological regulatory networks--II. Immunity control in bacteriophage lambda. , 1995, Bulletin of mathematical biology.

[38]  Aurélien Naldi,et al.  Petri net representation of multi-valued logical regulatory graphs , 2011, Natural Computing.

[39]  Steffen Klamt,et al.  A Logical Model Provides Insights into T Cell Receptor Signaling , 2007, PLoS Comput. Biol..

[40]  Aurélien Naldi,et al.  Logical modelling of gene regulatory networks with GINsim. , 2012, Methods in molecular biology.