J. Ahmad, G. Bernot, J. P. Comet, D. Lime, and O. Roux, Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays, Complexus, vol.3, issue.4, pp.231-251, 2006.
DOI : 10.1159/000110010
URL : https://hal.archives-ouvertes.fr/hal-00415810

R. Alur, C. Belta, F. Ivanicic, V. Kumar, M. Mintz et al., Hybrid Modeling and Simulation of Biomolecular Networks, Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC'01, pp.19-32, 2001.
DOI : 10.1007/3-540-45351-2_6

N. Angelopoulos and S. H. Muggleton, Machine learning metabolic pathway descriptions using a probabilistic relational representation, Also in Proceedings of Machine Intelligence, 2002.

N. Angelopoulos and S. H. Muggleton, Slps for probabilistic pathways: Modeling and parameter estimation, 2002.

M. Antoniotti, A. Policriti, N. Ugel, and B. Mishra, Model Building and Model Checking for Biochemical Processes, Cell Biochemistry and Biophysics, vol.38, issue.3, pp.271-286, 2003.
DOI : 10.1385/CBB:38:3:271
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.233

M. Ashburner, C. A. Ball, J. A. Blake, D. Botstein, H. Butler et al., Gene Ontology: tool for the unification of biology, Nature Genetics, vol.9, issue.1, pp.25-29, 2000.
DOI : 10.1038/75556

A. Ballesta, S. Dulong, C. Abbara, B. Cohen, A. Okyar et al., A Combined Experimental and Mathematical Approach for Molecular-based Optimization of Irinotecan Circadian Delivery, PLoS Computational Biology, vol.49, issue.9, 2011.
DOI : 10.1371/journal.pcbi.1002143.s001
URL : https://hal.archives-ouvertes.fr/inserm-00692053

J. R. Banga, Optimization in computational systems biology DOI 10, BMC Syst Biol, vol.2, pp.1752-0509, 1186.

A. L. Barabási, Network science, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.406, issue.6794, 2016.
DOI : 10.1038/35019019

G. Batt, D. Bergamini, H. De-jong, H. Garavel, and R. Mateescu, Model Checking Genetic Regulatory Networks Using GNA and CADP, Proceedings of the 11th International SPIN Workshop on Model Checking of Software SPIN, 2004.
DOI : 10.1007/978-3-540-24732-6_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.7325

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

G. Batt, M. Page, I. Cantone, G. Goessler, P. Monteiro et al., Efficient parameter search for qualitative models of regulatory networks using symbolic model checking, Bioinformatics, vol.26, issue.18, pp.603-610, 2010.
DOI : 10.1093/bioinformatics/btq387
URL : https://hal.archives-ouvertes.fr/inria-00482569

G. Batt, D. Ropers, H. De-jong, J. Geiselmann, R. Mateescu et al., Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli, Bioinformatics, vol.21, issue.Suppl 1, pp.19-28, 2005.
DOI : 10.1093/bioinformatics/bti1048
URL : https://hal.archives-ouvertes.fr/hal-00171939

G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks, Bioinformatics, vol.23, issue.18, pp.2415-2422, 2007.
DOI : 10.1093/bioinformatics/btm362

N. Berestovsky, W. Zhou, D. Nagrath, and L. Nakhleh, Modeling Integrated Cellular Machinery Using Hybrid Petri-Boolean Networks, PLoS Computational Biology, vol.272, issue.Pt 3, p.306, 2013.
DOI : 10.1371/journal.pcbi.1003306.g009
URL : http://doi.org/10.1371/journal.pcbi.1003306

G. Bernot, J. P. 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

C. H. Bryant, S. H. Muggleton, S. G. Oliver, D. B. Kell, P. G. Reiser et al., Combining inductive logic programming, active learning and robotics to discover the function of genes, Electronic Transactions in Artificial Intelligence, vol.6, issue.12, 2001.

L. Calzone, N. Chabrier-rivier, F. Fages, and S. Soliman, Machine Learning Biochemical Networks from Temporal Logic Properties, Transactions on Computational Systems Biology VI, pp.68-94, 2006.
DOI : 10.1007/11880646_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.5250

L. Calzone, F. Fages, and S. Soliman, BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1807, 2006.
DOI : 10.1093/bioinformatics/btl172
URL : https://hal.archives-ouvertes.fr/hal-01431364

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

N. Chabrier-rivier, M. Chiaverini, V. Danos, F. Fages, and V. Schächter, Modeling and querying biomolecular interaction networks, Theoretical Computer Science, vol.325, issue.1, pp.25-44, 2004.
DOI : 10.1016/j.tcs.2004.03.063
URL : http://doi.org/10.1016/j.tcs.2004.03.063

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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.6389

H. J. Chiang, F. Fages, J. H. Jiang, and S. Soliman, Hybrid Simulations of Heterogeneous Biochemical Models in SBML, ACM Transactions on Modeling and Computer Simulation, vol.25, issue.2, pp.1-14222742545, 1145.
DOI : 10.1145/2742545
URL : https://hal.archives-ouvertes.fr/hal-01170947

A. Cimatti, E. Clarke, E. Giunchiglia, F. G. Pistore, M. Roveri et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Proceedings of the International Conference on Computer-Aided Verification, CAV'02, 2002.
DOI : 10.1007/3-540-45657-0_29

J. M. Colom and M. Silva, Convex geometry and semiflows in p/t nets. a comparative study of algorithms for computation of minimal p-semiflows Advances in Petri Nets DOI 10, Lecture Notes in Computer Science, vol.4831007, pp.79-1123, 1990.

R. Cordone, L. Ferrarini, and L. Piroddi, Enumeration Algorithms for Minimal Siphons in Petri Nets Based on Place Constraints, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.35, issue.6, pp.844-854, 2005.
DOI : 10.1109/TSMCA.2005.853504

A. Courbet, P. Amar, F. Fages, E. Renard, and F. Molina, Computer aided biochemical programming of synthetic vesicles operating as logic-gated and multiplexed micro-scale diagnostic devices

A. Courbet, D. Endy, E. Renard, F. Molina, and J. Bonnet, Detection of pathological biomarkers in human clinical samples via amplifying genetic switches and logic gates, Science Translational Medicine, vol.99, issue.4, 2015.
DOI : 10.1073/pnas.042521699

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

D. Maria, E. Fages, F. Rizk, A. Soliman, and S. , Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints, Theoretical Computer Science, vol.412, issue.21, pp.2108-2127, 2011.
DOI : 10.1016/j.tcs.2010.10.036
URL : https://hal.archives-ouvertes.fr/hal-01285815

G. Delzanno and A. Podelski, Constraint-based deductive model checking, STTT, vol.3, issue.3, pp.250-270, 2001.

K. Deng, C. Bourke, S. D. Scott, J. Sunderman, and Y. Zheng, Bandit-Based Algorithms for Budgeted Learning, Seventh IEEE International Conference on Data Mining (ICDM 2007), p.ICDM, 2007.
DOI : 10.1109/ICDM.2007.91

K. Deng, Y. Zheng, C. Bourke, S. Scott, and J. Masciale, New algorithms for budgeted learning DOI 10, Mach Learn, vol.90, pp.10994-11006, 1007.

A. Donzé and O. Maler, Robust Satisfaction of Temporal Logic over Real-Valued Signals, Lecture Notes in Computer Science, vol.6246, pp.92-106, 2010.
DOI : 10.1007/978-3-642-15297-9_9

M. Eisenberg, The kineticist's workbench: Combining symbolic and numerical methods in the simulation of chemical reaction mechanisms, 1991.

S. Eker, M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer et al., PATHWAY LOGIC: SYMBOLIC ANALYSIS OF BIOLOGICAL SIGNALING, Biocomputing 2002, pp.400-412, 2002.
DOI : 10.1142/9789812799623_0038

F. Fages, Consistency of Clark's completion and existence of stable models, Methods of Logic in Computer Science, vol.1, pp.51-60, 1994.

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

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, pp.98-115978, 2016.
DOI : 10.1007/978-3-319-45177-0_7
URL : https://hal.archives-ouvertes.fr/hal-01378470

F. Fages and A. Rizk, On temporal logic constraint solving for analyzing numerical data time series, Theoretical Computer Science, vol.408, issue.1, pp.55-65, 2008.
DOI : 10.1016/j.tcs.2008.07.004

F. Fages and A. Rizk, From Model-Checking to Temporal Logic Constraint Solving, Proceedings of CP'2009, 15th International Conference on Principles and Practice of Constraint Programming, no. 5732 in Lecture Notes in Computer Science, pp.319-334978, 2009.
DOI : 10.1007/BFb0028736
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.4011

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

F. Fages and S. Soliman, Model Revision from Temporal Logic Properties in Computational Systems Biology, Probabilistic Inductive Logic Programming, pp.287-304, 2008.
DOI : 10.1007/978-3-540-78652-8_11
URL : https://hal.archives-ouvertes.fr/hal-01431378

F. Fages and P. Traynard, Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers, Logical Modeling of Biological Systems, pp.291-323, 2014.
DOI : 10.1002/9781119005223.ch8
URL : https://hal.archives-ouvertes.fr/hal-01103305

A. Fauré, A. Naldi, F. Lopez, C. Chaouiya, A. Ciliberto et al., Modular logical modelling of the budding yeast cell cycle, Molecular BioSystems, vol.97, issue.2, pp.1787-1796, 2009.
DOI : 10.1109/TCBB.2008.64

A. Fauré and D. Thieffry, Logical modelling of cell cycle control in eukaryotes: a comparative study, Molecular BioSystems, vol.7, issue.12, 2009.
DOI : 10.1038/msb4100126

M. Feinberg, Mathematical aspects of mass action kinetics Chemical Reactor Theory: A Review, pp.1-78, 1977.

L. F. De-figueiredo, S. Schuster, C. Kaleta, and D. A. Fell, Can sugars be produced from fatty acids? A test case for pathway analysis tools, Bioinformatics, vol.25, issue.1, pp.152-158, 2009.
DOI : 10.1093/bioinformatics/btn621

A. Funahashi, Y. Matsuoka, A. Jouraku, M. Morohashi, N. Kikuchi et al., CellDesigner 3.5: A Versatile Modeling Tool for Biochemical Networks, Proceedings of the IEEE, vol.96, issue.8, pp.1254-1265925458, 2008.
DOI : 10.1109/JPROC.2008.925458

S. Gay, F. Fages, T. Martinez, S. Soliman, and C. Solnon, On the subgraph epimorphism problem, Discrete Applied Mathematics, vol.162, pp.214-228, 2014.
DOI : 10.1016/j.dam.2013.08.008
URL : https://hal.archives-ouvertes.fr/hal-01098527

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

M. Gebser, B. Kaufmann, A. Neumann, and T. Schaub, clasp: A Conflict-Driven Answer Set Solver, Proc. LPNMR'07, pp.260-265, 2007.
DOI : 10.1007/978-3-540-72200-7_23

M. Gebser, T. Schaub, S. Thiele, B. Usadel, and P. Veber, Detecting Inconsistencies in Large Biological Networks with Answer Set Programming, Proceedings of the 24th International Conference on Logic Programming, pp.130-144, 2008.
DOI : 10.1073/pnas.97.7.3364

R. Ghosh and C. Tomlin, Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model, Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC'01, pp.232-246, 2001.
DOI : 10.1007/3-540-45351-2_21

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

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

A. G. 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

A. D. Gordon, T. A. Henzinger, A. V. Nori, and S. K. Rajamani, Probabilistic programming, Proceedings of the on Future of Software Engineering, FOSE 2014, pp.167-181, 2014.
DOI : 10.1145/2593882.2593900
URL : https://hal.archives-ouvertes.fr/hal-01400890

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

N. Hansen and A. Ostermeier, Completely Derandomized Self-Adaptation in Evolution Strategies, Evolutionary Computation, vol.9, issue.2, pp.159-195, 2001.
DOI : 10.1016/0004-3702(95)00124-7

D. Heitzler, G. Durand, N. Gallay, A. Rizk, S. Ahn et al., Competing G protein-coupled receptor kinases balance G protein and ??-arrestin signaling, Molecular Systems Biology, vol.3, issue.590, 2012.
DOI : 10.1038/msb.2012.22
URL : https://hal.archives-ouvertes.fr/hal-00776169

T. A. Henzinger, The theory of hybrid automata An extended version appeared in Verification of Digital and Hybrid Systems, Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS), pp.278-292, 1996.

M. J. Herrgård, N. Swainston, P. Dobson, W. B. Dunn, and K. Y. Arga, A consensus yeast metabolic network reconstruction obtained from a community approach to systems biology, Nature Biotechnology, vol.2, issue.10, pp.1155-1160, 1038.
DOI : 10.1038/nbt1492

C. Y. Huang and J. E. Ferrell, Ultrasensitivity in the mitogen-activated protein kinase cascade., Proceedings of the National Academy of Sciences, vol.93, issue.19, pp.78-10083, 1996.
DOI : 10.1073/pnas.93.19.10078

M. Hucka, S. Hoops, S. M. Keating, L. N. Nicolas, S. Sahle et al., Systems biology markup language (SBML) level 2: Structures and facilities for model definitions, Nature Precedings, 2008.

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

T. Ideker, T. Galitski, and L. Hood, : Systems Biology, Annual Review of Genomics and Human Genetics, vol.2, issue.1, pp.343-372, 2001.
DOI : 10.1146/annurev.genom.2.1.343

K. Inoue, Logic programming for boolean networks, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, pp.924-930, 2011.

H. De-jong, J. L. Gouzé, C. Hernandez, M. Page, T. Sari et al., Qualitative simulation of genetic regulatory networks using piecewise-linear models, Bulletin of Mathematical Biology, vol.66, issue.2, pp.301-340, 2004.
DOI : 10.1016/j.bulm.2003.08.010
URL : https://hal.archives-ouvertes.fr/hal-00173849

A. Von-kamp and S. Schuster, Metatool 5.0: fast and flexible elementary modes analysis, Bioinformatics, vol.22, issue.15, pp.1930-1931, 2006.
DOI : 10.1093/bioinformatics/btl267

M. Kanehisa and S. Goto, KEGG: Kyoto Encyclopedia of Genes and Genomes, Nucleic Acids Research, vol.28, issue.1, pp.27-30, 2000.
DOI : 10.1093/nar/28.1.27

J. R. Karr, J. C. Sanghvi, D. N. Macklin, M. V. Gutschow, J. M. Jacobs et al., A Whole-Cell Computational Model Predicts Phenotype from Genotype, Cell, vol.150, issue.2, p.401, 2012.
DOI : 10.1016/j.cell.2012.05.044

H. Kitano, Towards a theory of biological robustness, Molecular Systems Biology, vol.406, p.137, 2007.
DOI : 10.1038/msb4100179

S. Kleene, Representation of Events in Nerve Nets and Finite Automata, pp.3-41, 1956.
DOI : 10.1515/9781400882618-002

K. W. Kohn, Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems, Molecular Biology of the Cell, vol.10, issue.8, pp.2703-2734, 1999.
DOI : 10.1091/mbc.10.8.2703

A. Larhlimi and A. Bockmayr, A new constraint-based description of the steady-state flux cone of metabolic networks, Discrete Applied Mathematics, vol.157, issue.10, pp.2257-2266, 2009.
DOI : 10.1016/j.dam.2008.06.039

A. Llamosi, A. Mezine, F. Buc, V. Letort, and M. Sebag, Experimental Design in Dynamical System Identification: A Bandit-Based Active Learning Approach, Machine Learning and Knowledge Discovery in Databases ECML PKKDD'14, pp.306-321, 2014.
DOI : 10.1007/978-3-662-44851-9_20
URL : https://hal.archives-ouvertes.fr/hal-01109775

H. Matsuno, A. Doi, M. Nagasaki, and S. Miyano, HYBRID PETRI NET REPRESENTATION OF GENE REGULATORY NETWORK, Biocomputing 2000, pp.338-349, 2000.
DOI : 10.1142/9789814447331_0032

W. Mcculloch and W. Pitts, A logical calculus of the ideas immanent in nervous activity, The Bulletin of Mathematical Biophysics, vol.5, issue.4, pp.115-133, 1943.
DOI : 10.1007/BF02478259

P. Meyer, T. Cokelaer, D. Chandran, K. H. Kim, P. R. Loh et al., Network topology and parameter estimation: from experimental design methods to gene regulatory network kinetics using a community based approach, BMC Systems Biology, vol.8, issue.1, pp.1-181752, 1186.
DOI : 10.1016/j.cell.2012.05.044

S. H. Muggleton, Inverse entailment and progol, New Generation Computing, vol.12, issue.1, pp.245-286, 1995.
DOI : 10.1007/BF03037227
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.1630

F. Nabli, T. Martinez, F. Fages, and S. Soliman, On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity, Constraints, vol.22, issue.15, pp.251-276, 2016.
DOI : 10.1007/s10601-015-9190-1
URL : https://hal.archives-ouvertes.fr/hal-01170962

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

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.912, 2010.
DOI : 10.1371/journal.pcbi.1000912.s003
URL : https://hal.archives-ouvertes.fr/inserm-00704876

J. V. Neumann, Theory of Self Replicating Automata, 1966.

A. A. Nielsen, B. S. Der, J. Shin, P. Vaidyanathan, V. Paralanov et al., Genetic circuit design automation, Science, vol.13, issue.1, 2016.
DOI : 10.1038/msb4100155

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

M. Ostrowski, L. Paulevé, T. Schaub, A. Siegel, and C. Guziolowski, Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming, Biosystems, vol.149, pp.139-153, 2016.
DOI : 10.1016/j.biosystems.2016.07.009
URL : https://hal.archives-ouvertes.fr/hal-01354075

J. Pearl, Causality: Models, Reasoning and Inference, 2nd edn, 2009.
DOI : 10.1017/CBO9780511803161

S. Peres, M. , M. Simon, and L. , SAT-Based Metabolics Pathways Analysis without Compilation, ) Lecture Note in Bioinformatics, pp.20-31, 2014.
DOI : 10.1007/978-3-319-12982-2_2
URL : https://hal.archives-ouvertes.fr/hal-01108840

J. L. Peterson, Petri Net Theory and the Modeling of Systems, 1981.

V. N. Reddy, M. L. Mavrovouniotis, and M. N. Liebman, Petri net representations in metabolic pathways, Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology (ISMB), pp.328-336, 1993.

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

A. Rezola, L. F. De, . Figueiredo, M. Brock, J. Pey et al., Exploring metabolic pathways in genome-scale networks via generating flux modes, Bioinformatics, vol.27, issue.4, pp.534-540, 2011.
DOI : 10.1093/bioinformatics/btq681

A. Rizk, G. Batt, F. Fages, and S. Soliman, A general computational method for robustness analysis with applications to synthetic gene networks, Bioinformatics, vol.25, issue.12, pp.69-78, 2009.
DOI : 10.1093/bioinformatics/btp200
URL : https://hal.archives-ouvertes.fr/inria-00419708

A. Rizk, G. Batt, F. Fages, and S. Soliman, Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures, Theoretical Computer Science, vol.412, issue.26, pp.2827-2839, 2011.
DOI : 10.1016/j.tcs.2010.05.008
URL : https://hal.archives-ouvertes.fr/hal-01431314

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

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

L. Sánchez, C. Chaouiya, and D. Thieffry, Segmenting the fly embryo: logical analysis of the role of the Segment Polarity cross-regulatory module, The International Journal of Developmental Biology, vol.52, issue.8, pp.1059-1075, 2008.
DOI : 10.1387/ijdb.072439ls

R. Singhania, R. M. Sramkoski, J. W. Jacobberger, and J. J. Tyson, A Hybrid Model of Mammalian Cell Cycle Regulation, PLoS Computational Biology, vol.13, issue.2, p.1001077, 2011.
DOI : 10.1371/journal.pcbi.1001077.s004

E. H. Snoussi, Necessary Conditions for Multistationarity and Stable Periodicity, Journal of Biological Systems, vol.06, issue.01, 1998.
DOI : 10.1142/S0218339098000042

S. Soliman, Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem, Algorithms for Molecular Biology, vol.7, issue.1, pp.1748-7188, 2012.
DOI : 10.1007/BF01211911
URL : https://hal.archives-ouvertes.fr/hal-00784404

C. Soulé, Graphic Requirements for Multistationarity, Complexus, vol.1, issue.3, pp.123-133, 2003.
DOI : 10.1159/000076100

J. Sun, J. M. Garibaldi, and C. Hodgman, Parameter Estimation Using Meta-Heuristics in Systems Biology: A Comprehensive Review, IEEE/ACM Trans Comput Biol Bioinform, 2011.

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

R. Thomas, On the Relation Between the Logical Structure of Systems and Their Ability to Generate Multiple Steady States or Sustained Oscillations, pp.180-193, 1981.
DOI : 10.1007/978-3-642-81703-8_24

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

R. Thomas and R. D-'ari, Biological Feedback, 1990.
URL : https://hal.archives-ouvertes.fr/hal-00087681

R. Thomas and M. Kaufman, Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.9, issue.1, pp.170-195, 2001.
DOI : 10.1063/1.1350439

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

P. Traynard, C. Feillet, S. Soliman, F. Delaunay, and F. Fages, Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-?? up-regulation during mitosis, Biosystems, vol.149, pp.59-69, 2016.
DOI : 10.1016/j.biosystems.2016.07.003
URL : https://hal.archives-ouvertes.fr/hal-01378466

A. Turing, Computing machinery and intelligence, pp.433-460, 1950.
DOI : 10.1007/978-1-4020-6710-5_3

J. J. Tyson, Modeling the cell division cycle: cdc2 and cyclin interactions., Proceedings of the National Academy of Sciences, vol.88, issue.16, pp.7328-7332, 1991.
DOI : 10.1073/pnas.88.16.7328

J. Uhlendorf, A. Miermont, T. Delaveau, G. Charvin, F. Fages et al., Long-term model predictive control of gene expression at the population and single-cell levels, Proceedings of the National Academy of Sciences, vol.13, issue.7294, pp.271-14276, 2012.
DOI : 10.1038/nature08959

R. Valdès-pérè, Machine discovery in chemistry: new results, Artificial Intelligence, vol.74, issue.1, pp.191-201, 1995.
DOI : 10.1016/0004-3702(94)00073-A

L. Valiant, A theory of the learnable, Communications of the ACM, vol.27, issue.11, pp.1134-1142, 1984.
DOI : 10.1145/1968.1972

A. Varma and B. Palsson, Metabolic Flux Balancing: Basic Concepts, Scientific and Practical Use, Bio/Technology, vol.43, issue.10, pp.994-998, 1994.
DOI : 10.1006/jtbi.1993.1203

I. Zevedei-oancea and S. Schuster, Topological analysis of metabolic networks based on petri net theory, In Silico Biology, vol.3, issue.29, 2003.