Abstract
In the field of biological regulation, models extracted from experimental works are usually complex networks comprising intertwined feedback circuits. R. Thomas and coworkers introduced a qualitative description of the dynamics of such regulatory networks, called the generalized logical analysis, and used the concept of circuit-characteristic states to identify all steady states and functional circuits. These characteristic states play an essential role on the dynamics of the system, but they are not represented in the state graph. In this paper we present an extension of this formalism in which all singular states including characteristic ones are represented. Consequently, the state graph contains all steady states. Model checking is then able to verify temporal properties concerning singular states. Finally, we prove that this new modeling is coherent with R. Thomas’ modeling since all paths of R. Thomas’ dynamics are represented in the new state graph, which in addition shows the influence of singular states on the dynamics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Sveiczer, A., Csikasz-Nagy, A., Gyorffy, B., Tyson, J., Novak, B.: Modeling the fission yeast cell cycle: quantized cycle times in wee1- cdc25delta mutant cells. Proc. Natl. Acad. Sci. U S A. 97, 7865–7870 (2000)
Chen, K.C., Csikasz-Nagy, A., Gyorffy, B., Val, J., Novak, B., Tyson, J.: Kinetic analysis of a molecular model of the budding yeast cell cycle. Mol. Biol. Cell. 11, 369–391 (2000)
Tyson, J., Novak, B.: Regulation of the eukaryotic cell cycle: molecular antagonism, hysteresis, and irreversible transitions. J. Theor. Biol. 210, 249–263 (2001)
Hasty, J., McMillen, D., Collins, J.: Engineered gene circuits. Nature 420, 224–230 (2002)
Thomas, R., d’Ari, R.: Biological Feedback. CRC Press, Boca Raton (1990)
Thomas, R.: Regulatory networks seen as asynchronous automata: A logical description. J. Theor. Biol. 153, 1–23 (1991)
Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. I. structural conditions of multistationarity and other nontrivial behavior. Chaos 11, 170–179 (2001)
Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos 11, 180–195 (2001)
Snoussi, E.: Qualitative dynamics of a piecewise-linear differential equations: a discrete mapping approach. Dynamics and stability of Systems 4, 189–207 (1989)
Snoussi, E., Thomas, R.: Logical identification of all steady states: the concept of feedback loop caracteristic states. Bull. Math. Biol. 55, 973–991 (1993)
Thomas, R., Thieffry, D., Kaufman, M.: Dynamical behaviour of biological regulatory networks - I. biological role of feedback loops an practical use of the concept of the loop-characteristic state. Bull. Math. Biol. 57, 247–276 (1995)
Peres, S., Comet, J.-P.: Contribution of computational tree logic to biological regulatory networks: Example from pseudomonas aeruginosa. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 47–56. Springer, Heidelberg (2003)
Bernot, G., Comet, J.P., Richard, A., Guespin, J.: A Fruitful Application of Formal Methods to Biological Regulatory Networks, extending Thomas’ asynchronous logical approach with temporal logic. J. Theor. Biol. (in press, 2004)
Guespin, J., Bernot, G., Comet, J.P., Mriau, A., Richard, A., Hulen, C., Polack, B.: Epigenesis and dynamic similarity in two regulatory networks in pseudomonas aeruginosa. Acta Biotheoretica (in press, 2004)
Filippov, A.: Differential Equations with Discontinuous Righthand Sides. Kluwer Academic Publishers, Dordrecht (1988)
Richard, A., Comet, J.P., Bernot, G.: SMBioNet: Selection of Models of Biological Networks, http://smbionet.lami.univ-evry.fr
Thomas, R.: The role of feedback circuits: positive feedback circuits are a necessary condition for positive real eigenvalues of the Jacobian matrix. Ber. Bunsenges. Phys. Chem. 98, 1148–1151 (1994)
Plahte, E., Mestl, T., Omholt, S.W.: Feedback loop, stability and multistationarity in dynamical systems. J. Biol. Syst. 3, 569–577 (1995)
Demongeot, J.: Multistationarity and cell differentiation. J. Biol. Syst. 6, 11–15 (1998)
Snoussi, E.: Necessary conditions for multistationarity and stable periodicity. J. Biol. Syst. 6, 3–9 (1998)
Soulé, C.: Graphic requirements for multistationarity. ComPlexUs 1 (2003)
Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An openSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, p. 359. Springer, Heidelberg (2002)
Heidtke, K.R., Schulze-Kremer, S.: Design and implementation of a qualitative simulation model of λ phage infection. Bioinformatics 14, 81–91 (1998)
Heidtke, K.R., Schulze-Kremer, S.: BioSim: A New Qualitative Simulation Environment for Molecular Biology. In: Proceedings of the 6th International Conference in Intelligent Systems for Molecular Biology, pp. 85–94. AAAI Press, Menlo Park (1998)
De Jong, H., Geiselmann, J., Hernandez, C., Page, M.: Genetic network analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics 19, 336–344 (2003)
Chaouiya, C., Remy, E., Mossé, B., Thieffry, D.: Qualitative analysis of regulatory graphs: a computation tools based an a discrete formal framwork. Lecture Notes on Control and Information Sciences (accepted, 2003)
Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Schächter, V.: Modeling and querying biochemical networks. Theoretical Computer Science (to appear, 2004)
Thieffry, D., Thomas, R.: Dynamical behaviour of biological regulatory networks - ii. immunity control in bacteriophage lambda. Bull. Math. Biol. 57, 277–297 (1995)
Thomas, R., Gathoye, A., Lambert, L.: A complex control circuit. regulation of immunity in temperate bacteriophages. Eur. J. Biochem. 71, 211–227 (1976)
Sánchez, L., van Helden, J., Thieffry, D.: Establishement of the dorso-ventral pattern during embryonic development of drosophila melanogaster: a logical analysis. J. Theor. Biol. 189, 377–389 (1997)
Sánchez, L., Thieffry, D.: A logical analysis of the drosophila gap-gene system. J. Theor. Biol. 211, 115–141 (2001)
Mendoza, L., Thieffry, D., Alvarez-Buylla, E.: Genetic control of flower morphogenesis in arabidopsis thaliana: a logical analysis. Bioinformatics 15, 593–606 (1999)
Bassano, V., Bernot, G.: Marked regulatory graphs: A formal framework to simulate biological regulatory networks with simple automata. In: Proc. of the 14th IEEE International Workshop on Rapid System Prototyping, RSP 2003, San Diego, California, USA (2003)
Bernot, G., Cassez, F., Comet, J.P., Delaplace, F., Müller, C., Roux, O., Roux, O.H.: Semantics of Biological Regulatory Networks. In: BioConcur, Workshop on Concurrent Models in Molecular Biology. ENTCS series (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Richard, A., Comet, JP., Bernot, G. (2005). Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States. In: Danos, V., Schachter, V. (eds) Computational Methods in Systems Biology. CMSB 2004. Lecture Notes in Computer Science(), vol 3082. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25974-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-25974-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25375-4
Online ISBN: 978-3-540-25974-9
eBook Packages: Computer ScienceComputer Science (R0)