Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation

  • Chafika Chettaoui
  • Franck Delaplace
  • Pierre Lescanne
  • Mun’delanji Vestergaard
  • René Vestergaard
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4210)


We present a game-theoretic foundation for gene regulatory analysis based on the recent formalism of rewriting game theory. Rewriting game theory is discrete and comes with a graph-based framework for understanding compromises and interactions between players and for computing Nash equilibria. The formalism explicitly represents the dynamics of its Nash equilibria and, therefore, is a suitable foundation for the study of steady states in discrete modelling. We apply the formalism to the discrete analysis of gene regulatory networks introduced by R. Thomas and S. Kauffman. Specifically, we show that their models are specific instances of a C/P game deduced from the K parameter.


Nash Equilibrium Game Theory Gene Regulatory Network Strategic Game Sequential Game 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cassez, G.B., Comet, J.P.G., Delaplace, F., Müller, C., Roux, O., Roux, O(H.).: Semantics of biological regulatory networks. In: Workshop on Concurrent Models in Molecular Biology (BioConcur 2003) (2003)Google Scholar
  2. 2.
    Cannon, W.B.: The Wisdom of the Body. W.W. Norton, New York (1932)Google Scholar
  3. 3.
    Chaouiya, C., Remy, E., Thieffry, D.: Petri net modelling of biological regulatory networks. In: Proceedings of CMSB-3 (2005)Google Scholar
  4. 4.
    de Jong, H.: Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology 9(1), 67–103 (2002)CrossRefGoogle Scholar
  5. 5.
    Kauffman, S.A.: Metabolic stability and epigenisis in randomly constructed genetic nets. Journal of Theoretical Biology 22, 437–467 (1969)CrossRefMathSciNetGoogle Scholar
  6. 6.
    Kauffman, S.A.: The Origins of Order: Self-Organization and Selection in Evolution. Oxford University Press, Oxford (1993)Google Scholar
  7. 7.
    Kuhn, H.W.: Extensive games and the problem of information. In: Contributions to the Theory of Games II (1953); Reprinted in [8]Google Scholar
  8. 8.
    Kuhn, H.W. (ed.): Classics in Game Theory. Princeton University Press, Princeton (1997)zbMATHGoogle Scholar
  9. 9.
    Myerson, R.B.: Game Theory: Analysis of Conflict. Harvard University Press (1991)Google Scholar
  10. 10.
    Nash, J.F.: Equilibrium points in n-person games. In: Proceedings of the National Academy of Sciences, vol. 36 (1950); Reprinted in [8] Google Scholar
  11. 11.
    Nash, J.F.: Non-Cooperative Games. PhD thesis, Princeton University (1950)Google Scholar
  12. 12.
    Nash, J.F.: Non-cooperative games. Annals of Mathematics 54 (1951); Reprinted in [8]; published version of [11] Google Scholar
  13. 13.
    Osborne, M.J.: An introduction to game theory. Oxford University Press, Oxford (2003)Google Scholar
  14. 14.
    Le Roux, S., Lescanne, P., Vestergaard, R.: A discrete Nash theorem with quadratic complexity and dynamic equilibria. Research Report IS-RR-2006-006, JAIST (May 2006)Google Scholar
  15. 15.
    Senachak, J., Vestergaard, M., Vestergaard, R.: Rewriting game theory applied to protein signalling in MAPK cascades. Research Report IS-RR-2006-007, JAIST (May 2006)Google Scholar
  16. 16.
    Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5, 285–309 (1955)zbMATHMathSciNetGoogle Scholar
  17. 17.
    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(1), 180–195 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Thomas, R.: Boolean formalization of genetic control circuits. Journal of Theoretical Biology 42(3), 563–585 (1973)CrossRefGoogle Scholar
  19. 19.
    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. Bulletin of Mathematical Biology 57, 247–276 (1995)zbMATHGoogle Scholar
  20. 20.
    Vestergaard, R.: A constructive approach to sequential Nash equilibria. Information Processing Letters 97, 46–51 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    Watson, J.D., Baker, T.A., Bell, S.P., Gann, A., Levine, M., Losick, R.: Molecular Biology of the Gene, 5th edn. The Benjamin/Cummings Publishing Company (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Chafika Chettaoui
    • 1
  • Franck Delaplace
    • 1
  • Pierre Lescanne
    • 2
  • Mun’delanji Vestergaard
    • 3
  • René Vestergaard
    • 3
  1. 1.IBISC – FRE 2873 CNRSEvryFrance
  2. 2.LIP - UMR 5668, Ecole Normale Supérieure, LyonLyon
  3. 3.JAISTNomi, IshikawaJapan

Personalised recommendations