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

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.

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.

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

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-01282923

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, 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

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.32, issue.17, pp.772-780, 2016.
DOI : 10.1093/bioinformatics/btw457
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.24, issue.16, pp.234-240, 2008.
DOI : 10.1093/bioinformatics/btn266

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.26, issue.18, pp.575-581, 2010.
DOI : 10.1093/bioinformatics/btq388
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