Deriving Behavior of Boolean Bioregulatory Networks from Subnetwork Dynamics

Abstract.In the well-known discrete modeling framework developed by R. Thomas, the structure of a biological regulatory network is captured in an interaction graph, which, together with a set of Boolean parameters, gives rise to a state transition graph describing all possible dynamical behaviors. For complex networks the analysis of the dynamics becomes more and more difficult, and efficient methods to carry out the analysis are needed. In this paper, we focus on identifying subnetworks of the system that govern the behavior of the system as a whole. We present methods to derive trajectories and attractors of the network from the dynamics suitable subnetworks display in isolation. In addition, we use these ideas to link the existence of certain structural motifs, namely circuits, in the interaction graph to the character and number of attractors in the state transition graph, generalizing and refining results presented in [10]. Lastly, we show for a specific class of networks that all possible asymptotic behaviors of networks in that class can be derived from the dynamics of easily identifiable subnetworks.

[1]  El Houssine Snoussi,et al.  Logical identification of all steady states: The concept of feedback loop characteristic states , 1993 .

[2]  Heike Siebert Local Structure and Behavior of Boolean Bioregulatory Networks , 2008, AB.

[3]  Elisabeth Remy,et al.  On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems , 2006, Trans. Comp. Sys. Biology.

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

[5]  François Robert,et al.  Discrete iterations - a metric study , 1986, Springer series in computational mathematics.

[6]  Denis Thieffry,et al.  Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework , 2008, Adv. Appl. Math..

[7]  Alexander Bockmayr,et al.  Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks , 2007, AB.

[8]  R. Thomas,et al.  Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. , 2001, Chaos.

[9]  Adrien Richard,et al.  Necessary conditions for multistationarity in discrete dynamical systems , 2007, Discret. Appl. Math..

[10]  Denis Thieffry,et al.  A description of dynamical graphs associated to elementary regulatory circuits , 2003, ECCB.

[11]  Adrien Richard,et al.  Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. , 2004, Journal of theoretical biology.

[12]  Adrien Richard,et al.  R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics , 2005, Fundam. Informaticae.