M. Feinberg, Chemical reaction network structure and the stability of complex isothermal reactors???I. The deficiency zero and deficiency one theorems, Chemical Engineering Science, vol.42, issue.10, pp.2229-2268, 1987.
DOI : 10.1016/0009-2509(87)80099-4

H. Kitano, Systems Biology: A Brief Overview, Science, vol.295, issue.5560, pp.1662-1664, 2002.
DOI : 10.1126/science.1069492

S. Hoops, S. Sahle, R. Gauges, C. Lee, J. Pahle et al., COPASI--a COmplex PAthway SImulator, Copasi?a complex pathway simulator, pp.3067-3074, 2006.
DOI : 10.1093/bioinformatics/btl485

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

C. Kuttler, C. Lhoussaine, and M. Nebut, Rule-based modeling of transcriptional attenuation at the tryptophan operon, Transactions on Computational Systems Biology XII, pp.199-228, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00445565

D. T. Gillespie, Deterministic Limit of Stochastic Chemical Kinetics, The Journal of Physical Chemistry B, vol.113, issue.6, pp.1640-1644, 2009.
DOI : 10.1021/jp806431b

H. Jong, Modeling and Simulation of Genetic Regulatory Systems: A Literature Review, Journal of Computational Biology, vol.9, issue.1
DOI : 10.1089/10665270252833208

URL : https://hal.archives-ouvertes.fr/inria-00072606

M. Ashyraliyev, Y. Fomekong-nanfack, J. A. Kaandorp, and J. G. Blom, Systems biology: parameter estimation for biochemical models, FEBS Journal, vol.7, issue.4, pp.886-902, 2009.
DOI : 10.1111/j.1742-4658.2008.06844.x

N. Chabrier and F. Fages, Symbolic Model Checking of Biochemical Networks, Computational Methods in Systems Biology, First International Workshop, CMSB 2003 Proceedings, pp.149-162, 2003.
DOI : 10.1007/3-540-36481-1_13

J. Uhlendorf, S. Bottani, F. Fages, P. Hersen, and G. Batt, TOWARDS REAL-TIME CONTROL OF GENE EXPRESSION: CONTROLLING THE HOG SIGNALING CASCADE, Pacific Symposium On Biocomputing, pp.338-349, 2011.
DOI : 10.1142/9789814335058_0035

J. Kim and J. Reed, OptORF: Optimal metabolic and regulatory perturbations for metabolic engineering of microbial strains, BMC Systems Biology, vol.4, issue.1, pp.1752-0509, 2010.
DOI : 10.1186/1752-0509-4-53

J. Niehren, M. John, C. Versari, F. Coutte, and P. Jacques, Qualitative Reasoning for Reaction Networks with Partial Kinetic Information, Computational Methods for Systems Biology, vol.9308, pp.157-169, 2015.
DOI : 10.1007/978-3-319-23401-4_14

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

U. Mäder, A. G. Schmeisky, L. A. Flórez, and J. Stülke, SubtiWiki--a comprehensive community resource for the model organism Bacillus subtilis, Nucleic Acids Research, vol.40, issue.D1, pp.1278-1287, 2012.
DOI : 10.1093/nar/gkr923

O. Radulescu, A. N. Gorban, A. Zinovyev, and V. Noel, Reduction of dynamical biochemical reactions networks in computational biology, Frontiers in Genetics, vol.3
DOI : 10.3389/fgene.2012.00131

L. Michaelis and M. L. Menten, Die kinetik der invertinwirkung, Biochem. z, vol.49, issue.352, pp.333-369, 1913.

G. Madelaine, C. Lhoussaine, and J. Niehren, Attractor equivalence: An observational semantics for reaction networks, in: Formal Methods in Macro, Biology, pp.82-101, 2014.

O. Radulescu, A. N. Gorban, A. Zinovyev, and A. Lilienbaum, Robust simplifications of multiscale biochemical networks, BMC systems biology 2, pp.10-1186

J. Gagneur and S. Klamt, Computation of elementary modes: a unifying framework and the new binary approach, BMC bioinformatics, vol.5, issue.1, 2004.

G. Madelaine, C. Lhoussaine, and J. Niehren, Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics, Computational Methods in Systems Biology, pp.133-144, 2015.
DOI : 10.1007/978-3-319-23401-4_12

URL : https://hal.archives-ouvertes.fr/hal-01168038

G. Madelaine, C. Lhoussaine, and J. Niehren, Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics, Computational Methods in Systems Biology, 2015.
DOI : 10.1007/978-3-319-23401-4_12

URL : https://hal.archives-ouvertes.fr/hal-01168038

M. Sáez, C. Wiuf, and E. Feliu, Graphical reduction of reaction networks by linear elimination of species, Journal of Mathematical Biology, vol.40, issue.73, pp.1-43, 2016.
DOI : 10.1021/ed069p544

M. Gossen and H. Bujard, Tight control of gene expression in mammalian cells by tetracycline-responsive promoters., Proceedings of the National Academy of Sciences of the United States of America
DOI : 10.1073/pnas.89.12.5547

M. Gossen, S. Freundlieb, G. Bender, G. Müller, W. Hillen et al., Transcriptional activation by tetracyclines in mammalian cells, Science, vol.268, issue.5218, p.268
DOI : 10.1126/science.7792603

Z. Huang, C. Moya, A. Jayaraman, and J. Hahn, Using the Tet-On system to develop a procedure for extracting transcription factor activation dynamics, Molecular BioSystems, vol.4, issue.2, 20552111.
DOI : 10.1039/c003229h

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
DOI : 10.1073/pnas.1206810109

A. M. Pitts, Operational Semantics and Program Equivalence, Applied Semantics, 2000.
DOI : 10.1007/3-540-45699-6_8

A. Regev and E. Shapiro, Cellular abstractions: Cells as computation, Nature, vol.419, issue.6905, pp.343-343, 2002.
DOI : 10.1038/419343a

L. Cardelli and G. Zavattaro, On the Computational Power of Biochemistry, 2008.
DOI : 10.1007/978-3-540-85101-1_6

M. John, C. Lhoussaine, J. Niehren, and C. Versari, Biochemical Reaction Rules with Constraints, 20th European Symposium on Programming Languages, pp.338-357, 2011.
DOI : 10.1007/978-3-540-71316-6_28

URL : https://hal.archives-ouvertes.fr/inria-00544387

A. Naldi, E. Remy, D. Thie?ry, and C. Chaouiya, Dynamically consistent reduction of logical regulatory graphs, Theoretical Computer Science, vol.412, issue.21
DOI : 10.1016/j.tcs.2010.10.021

URL : https://hal.archives-ouvertes.fr/hal-01284743

G. Berthelot and G. , Reduction of Petri-nets, LNCS, 1976.
DOI : 10.1007/3-540-07854-1_175

T. Murata and J. Koh, Reduction and expansion of live and safe marked graphs, Circuits and Systems, IEEE Transactions on, vol.27, issue.1

S. Haddad and J. , New Efficient Petri Nets Reductions for Parallel Programs Verification, Parallel Processing Letters, vol.16, issue.01, pp.101-116, 2006.
DOI : 10.1142/S0129626406002502

URL : https://hal.archives-ouvertes.fr/hal-01125149

S. Gay, S. Soliman, and F. Fages, A graphical method for reducing and relating models in systems biology, Bioinformatics, vol.26, issue.18
DOI : 10.1093/bioinformatics/btq388

URL : https://hal.archives-ouvertes.fr/hal-01431335

K. Batmanov, C. Kuttler, F. Lemaire, C. Lhoussaine, and C. Versari, Symmetry-Based Model Reduction for Approximate Stochastic Analysis, Computational Methods in Systems Biology, vol.2012, issue.7605, pp.49-68, 2012.
DOI : 10.1007/978-3-642-33636-2_5

URL : https://hal.archives-ouvertes.fr/hal-00713386

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin, Comparing Chemical Reaction Networks, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16
DOI : 10.1145/2933575.2935318

A. N. Gorban and I. V. Karlin, Method of invariant manifold for chemical kinetics, Chemical Engineering Science, vol.58, issue.21, pp.4751-4768, 2003.
DOI : 10.1016/j.ces.2002.12.001

M. Bodenstein, Eine Theorie der photochemischen Reaktionsgeschwindigkeiten, Zeitschrift f??r Physikalische Chemie, vol.85, issue.1, pp.22-3654, 1913.
DOI : 10.1515/zpch-1913-0112

L. A. Segel and M. Slemrod, The Quasi-Steady-State Assumption: A Case Study in Perturbation, SIAM Review, vol.31, issue.3, pp.446-477, 1989.
DOI : 10.1137/1031091

A. N. Gorban, I. V. Karlin, P. Ilg, and H. C. Öttinger, Corrections and enhancements of quasi-equilibrium states, Journal of Non-Newtonian Fluid Mechanics, vol.96, issue.1-2, pp.203-219, 2001.
DOI : 10.1016/S0377-0257(00)00135-X

S. Soliman, F. Fages, and O. Radulescu, A constraint solving approach to model reduction by tropical equilibration, Algorithms for Molecular Biology, vol.58, issue.1-2, pp.27-35, 2013.
DOI : 10.1186/s13015-014-0024-2

URL : https://hal.archives-ouvertes.fr/hal-01098530

E. L. King and C. Altman, A Schematic Method of Deriving the Rate Laws for Enzyme-Catalyzed Reactions, The Journal of Physical Chemistry, vol.60, issue.10, pp.1375-1378, 1956.
DOI : 10.1021/j150544a010

J. Gunawardena, A Linear Framework for Time-Scale Separation in Nonlinear Biochemical Systems, PLoS ONE, vol.60, issue.5, p.36321, 2012.
DOI : 10.1371/journal.pone.0036321.s001

F. Fages, S. Gay, and S. Soliman, Inferring Reaction Models from ODEs, Computational Methods in Systems Biology, pp.370-373, 2012.
DOI : 10.1007/978-3-642-33636-2_23

D. Degenring, C. Froemel, G. Dikta, and R. Takors, Sensitivity analysis for the reduction of complex metabolism models, Journal of Process Control, vol.14, issue.7, pp.729-745, 2004.
DOI : 10.1016/j.jprocont.2003.12.008

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Abstracting the di?erential semantics of rulebased models: exact and automated model reduction, Logic In Computer Science (LICS, pp.362-381, 2010.

B. L. Clarke, General method for simplifying chemical networks while preserving overall stoichiometry in reduced mechanisms, The Journal of Chemical Physics, vol.97, issue.6, pp.4066-4071, 1992.
DOI : 10.1063/1.463911