G. Bernot, J. Comet, A. Richard, and &. J. Guespin, Application of formal methods to biological regulatory networks: extending Thomas??? asynchronous logical approach with temporal logic, Journal of Theoretical Biology, vol.229, issue.3, pp.339-347, 2004.
DOI : 10.1016/j.jtbi.2004.04.003

G. Bernot, J. Comet, A. Richard, M. Chaves, J. Gouzé et al., Modeling and Analysis of Gene Regulatory Networks, Modeling in Computational Biology and Biomedicine: A Multidisciplinary Endeavor Cazals, P. Kornprobst, pp.47-80, 2013.
DOI : 10.1007/978-3-642-31208-3_2
URL : https://hal.archives-ouvertes.fr/hal-00848394

E. Galán-vásquez, &. A. Luna, and . Martinez-antonio, The Regulatory Network of Pseudomonas aeruginosa, Microbial Informatics and Experimentation, vol.1, issue.1, pp.2042-5783, 2011.
DOI : 10.1101/gr.1239303

C. M. Grinstead and . Snell, Introduction to Probability, pp.415-422, 1997.

S. A. Kauffman, Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, vol.22, issue.3, pp.437-467, 1969.
DOI : 10.1016/0022-5193(69)90015-0

E. Klipp, R. Herwig, A. Kowad, C. Wierling, and &. H. Lehrach, Systems Biology in Practice: Concepts, Implementation and Application, 2005.
DOI : 10.1002/3527603603

S. Kim, H. Li, H. , E. R. Dougherty, N. Cao et al., CAN MARKOV CHAIN MODELS MIMIC BIOLOGICAL REGULATION?, Journal of Biological Systems, vol.10, issue.04, pp.337-357, 2002.
DOI : 10.1142/S0218339002000676

S. M. Ross, Stochastic Processes, 1996.

A. Richard, J. Comet, and &. G. Bernot, Available from: http://www.i3s.unice.fr/ bernot/Teaching Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks, Thomas' logical model, pp.261-274, 2002.

V. P. Skornyakov, M. V. Skoryakova, A. V. Shurygina, and &. P. Skornyakov, ) Finite-state discrete-time Markov chain models of gene regulatory networks, 2014.

R. Thomas, Regulatory networks seen as asynchronous automata: A logical description, Journal of Theoretical Biology, vol.153, issue.1, pp.1-23, 1991.
DOI : 10.1016/S0022-5193(05)80350-9