Semantics of Biological Regulatory Networks

The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by Rene Thomas to model the interactions between a set of genes. We give a formal semantics for BRN in terms of transition systems which formalizes the evolution rules given by Rene Thomas. Then we show how to use this model to find interesting properties of a BRN like the set of stable states, cycles etc using tools for analyzing transition systems.

[1]  R Thomas,et al.  A complex control circuit. Regulation of immunity in temperate bacteriophages. , 1976, European journal of biochemistry.

[2]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[3]  René Thomas,et al.  Logical identification of all steady states: The concept of feedback loop characteristic states , 1993 .

[4]  Alexander K. Petrenko,et al.  Electronic Notes in Theoretical Computer Science , 2009 .

[5]  El Houssine Snoussi.  Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach , 1989 .

[6]  M Kaufman,et al.  Model analysis of the bases of multistationarity in the humoral immune response. , 1987, Journal of theoretical biology.

[7]  R. Thomas,et al.  Logical analysis of systems comprising feedback loops. , 1978, Journal of theoretical biology.

[8]  Olaf Wolkenhauer,et al.  Systems Biology: the Reincarnation of Systems Theory Applied in Biology? , 2001, Briefings Bioinform..

[9]  Hiroaki Kitano,et al.  Looking beyond the details: a rise in system-oriented approaches in genetics and molecular biology , 2002, Current Genetics.

[10]  Jacques Demongeot,et al.  Roles of positive and negative feedback in biological systems. , 2002, Comptes rendus biologies.

[11]  R. Thomas,et al.  Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior. , 2001, Chaos.