M. Hucka, The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models, Bioinformatics, vol.19, issue.4, pp.524-531, 2003.
DOI : 10.1093/bioinformatics/btg015

F. Fages and S. Soliman, Abstract interpretation and types for systems biology, Theoretical Computer Science, vol.403, issue.1, pp.52-70, 2008.
DOI : 10.1016/j.tcs.2008.04.024
URL : https://hal.archives-ouvertes.fr/hal-01431355

N. Le-novère, B. Bornstein, A. Broicher, M. Courtot, M. Donizelli et al., BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems, Nucleic Acids Research, vol.34, issue.90001, pp.689-691, 2006.
DOI : 10.1093/nar/gkj092

L. Glass and S. A. Kauffman, The logical analysis of continuous, non-linear biochemical control networks, Journal of Theoretical Biology, vol.39, issue.1, pp.103-129, 1973.
DOI : 10.1016/0022-5193(73)90208-7

R. Thomas, Boolean formalisation of genetic control circuits, Journal of Theoretical Biology, vol.42, pp.565-583, 1973.

E. Remy, P. Ruet, and D. Thieffry, Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework, Advances in Applied Mathematics, vol.41, issue.3, pp.335-350, 2008.
DOI : 10.1016/j.aam.2007.11.003
URL : https://hal.archives-ouvertes.fr/hal-00692086

P. Ruet, Local cycles and dynamical properties of Boolean networks, Mathematical Structures in Computer Science, vol.26, issue.04, pp.702-718, 2016.
DOI : 10.1016/j.aam.2007.11.003

A. Naldi, D. Berenguier, A. Fauré, F. Lopez, D. Thieffry et al., Logical modelling of regulatory networks with GINsim 2.3, Biosystems, vol.97, issue.2, pp.134-139, 2009.
DOI : 10.1016/j.biosystems.2009.04.008

C. Chaouiya, A. Naldi, and D. Thieffry, Logical Modelling of Gene Regulatory Networks with GINsim., ser. Methods in molecular biology (Methods and Protocols), pp.463-479, 2012.

G. Batt, B. Besson, P. Ciron, H. De-jong, E. Dumas et al., Genetic Network Analyzer: A Tool for the Qualitative Modeling and Simulation of Bacterial Regulatory Networks, Bacterial Molecular Networks, pp.439-462, 2012.
DOI : 10.1007/978-1-61779-361-5_22
URL : https://hal.archives-ouvertes.fr/hal-00762122

D. A. Rosenblueth, S. Muñoz, M. Carrillo, and E. Azpeitia, Inference of Boolean Networks from Gene??Interaction Graphs Using a SAT Solver, AlCoB 2014: Proceedings of the 1st International Conference on Algorithms for Computational Biology, pp.235-246, 2014.
DOI : 10.1007/978-3-319-07953-0_19

C. Chaouiya, Petri net modelling of biological networks, Briefings in Bioinformatics, vol.8, issue.4, 2007.
DOI : 10.1093/bib/bbm029

B. Chazelle, Natural algorithms and influence systems, Communications of the ACM, vol.55, issue.12, pp.101-110, 2012.
DOI : 10.1145/2380656.2380679
URL : http://www.cs.princeton.edu/%7Echazelle/pubs/cacm12-natalg.pdf

A. Naldi, R. Remy, D. Thieffry, and C. Chaouiya, A reduction method for logical regulatory graphs preserving essential dynamical properties, CMSB'09: Proceedings of the seventh international conference on Computational Methods in Systems Biology, pp.266-280, 2009.
DOI : 10.1007/978-3-642-03845-7_18

N. Le-novere, M. Hucka, H. Mi, S. Moodie, F. Schreiber et al., The Systems Biology Graphical Notation, Nature Biotechnology, vol.267, issue.8, pp.735-741, 2009.
DOI : 10.1091/mbc.10.8.2703

F. Fages and S. Soliman, From reaction models to influence graphs and back: a theorem, " in Proceedings of Formal Methods in Systems Biology FMSB'08, ser, Lecture Notes in Computer Science, issue.5054, 2008.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

A. Ciliberto, F. Capuani, and J. J. Tyson, Modeling Networks of Coupled Enzymatic Reactions Using the Total Quasi-Steady State Approximation, PLoS Computational Biology, vol.103, issue.3, p.45, 2007.
DOI : 10.1371/journal.pcbi.0030045.sd001

W. Abou-jaoudé, D. A. Ouattara, and M. Kaufman, From structure to dynamics: Frequency tuning in the p53???Mdm2 network, Journal of Theoretical Biology, vol.258, issue.4, pp.561-577, 2009.
DOI : 10.1016/j.jtbi.2009.02.005

J. Comet, G. Bernot, A. Das, F. Diener, C. Massot et al., Simplified Models for the Mammalian Circadian Clock, Procedia Computer Science, vol.11, pp.127-138, 2012.
DOI : 10.1016/j.procs.2012.09.014
URL : https://hal.archives-ouvertes.fr/hal-01282904

L. Grieco, L. Calzone, I. Bernard-pierrot, F. Radvanyi, B. Kahn-perlès et al., Integrative Modelling of the Influence of MAPK Network on Cancer Cell Fate Decision, PLoS Computational Biology, vol.17, issue.4, p.1003286, 2013.
DOI : 10.1371/journal.pcbi.1003286.s010

F. Fages, T. Martinez, D. Rosenblueth, and S. Soliman, Influence Systems vs Reaction Systems, CMSB'16: Proceedings of the fourteenth international conference on Computational Methods in Systems Biology, ser. Lecture Notes in BioInformatics, N. P
DOI : 10.1016/0022-5193(73)90247-6
URL : https://hal.archives-ouvertes.fr/hal-01378470

F. Fages, S. Gay, and S. Soliman, Inferring reaction systems from ordinary differential equations, Theoretical Computer Science, vol.599, pp.64-78, 2015.
DOI : 10.1016/j.tcs.2014.07.032
URL : https://hal.archives-ouvertes.fr/hal-01103692

M. Katsumata, Graphic representation of Botts-Morales equation for enzyme-substrate-modifier system, Journal of Theoretical Biology, vol.36, issue.2, pp.327-338, 1972.
DOI : 10.1016/0022-5193(72)90102-6

A. Ciliberto, B. Novák, and J. J. Tyson, Steady States and Oscillations in the p53/Mdm2 Network, Cell Cycle, vol.4, issue.3, pp.488-493, 2005.
DOI : 10.4161/cc.4.3.1548

D. T. Gillespie, Exact stochastic simulation of coupled chemical reactions, The Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977.
DOI : 10.1021/j100540a008

N. Chabrier and F. Fages, Symbolic Model Checking of Biochemical Networks, CMSB'03: Proceedings of the first workshop on Computational Methods in Systems Biology, pp.149-162, 2003.
DOI : 10.1007/3-540-36481-1_13

T. G. Kurtz, Strong approximation theorems for density dependent Markov chains, Stochastic Processes and their Applications, pp.223-240, 1978.
DOI : 10.1016/0304-4149(78)90020-0
URL : https://doi.org/10.1016/0304-4149(78)90020-0

M. L. Minsky, Computation: Finite and Infinite Machines, 1972.

G. Bernot, J. Comet, and Z. Khalis, Gene regulatory networks wih multiplexes, Proc of European Simulation and Modelling Conference, pp.423-432, 2008.

P. Traynard, A. Fauré, F. Fages, and D. Thieffry, Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation, Bioinformatics, vol.10, issue.17, pp.772-780, 2016.
DOI : 10.4161/cc.10.18.17350
URL : https://hal.archives-ouvertes.fr/hal-01378465

A. Naldi, J. Carneiro, C. Chaouiya, and D. Thieffry, Diversity and Plasticity of Th Cell Types Predicted from Regulatory Network Modelling, PLoS Computational Biology, vol.212, issue.9, p.1000912, 2010.
DOI : 10.1371/journal.pcbi.1000912.s003
URL : https://hal.archives-ouvertes.fr/inserm-00704876

A. González, C. Chaouiya, and D. Thieffry, Logical modelling of the role of the Hh pathway in the patterning of the Drosophila wing disc, Bioinformatics, vol.17, issue.10, pp.234-240, 2008.
DOI : 10.1101/gad.1080803

D. Angeli and E. D. Sontag, Monotone control systems, IEEE Transactions on Automatic Control, vol.48, issue.10, pp.1684-1698, 2003.
DOI : 10.1109/TAC.2003.817920
URL : http://arxiv.org/pdf/math/0206133

H. Klarner, A. Bockmayr, H. Siebert, and G. , Computing Symbolic Steady States of Boolean Networks, Proceedings of the 11th International Conference on Cellular Automata for Research and Industry
DOI : 10.1007/978-3-319-11520-7_59

S. Gay, S. Soliman, and F. Fages, A graphical method for reducing and relating models in systems biology, Bioinformatics, vol.24, issue.6, pp.575-581, 2010.
DOI : 10.1093/bioinformatics/btm553
URL : https://hal.archives-ouvertes.fr/hal-01431335

J. Leloup and A. Goldbeter, Toward a detailed computational model for the mammalian circadian clock, Proceedings of the National Academy of Sciences, pp.7051-7056, 2003.
DOI : 10.1126/science.267326

H. Klarner, A. Bockmayr, and H. Siebert, Computing maximal and minimal trap spaces of Boolean networks, Natural Computing, vol.23, issue.2, pp.535-544, 2015.
DOI : 10.1088/1478-3975/9/5/055001