]. R. Ambauen, S. Fischer, and H. Bunke, Graph Edit Distance with Node Splitting and Merging, and Its Application to Diatom Identification, IAPR Workshop on Graph-based Representation in Pattern Recognition, pp.95-106, 2003.
DOI : 10.1007/3-540-45028-9_9

D. Angeli, P. De-leenheer, and E. D. Sontag, A Petri Net Approach to Persistence Analysis in Chemical Reaction Networks, Biology and Control Theory: Current Challenges, pp.181-216, 2007.
DOI : 10.1007/978-3-540-71988-5_9

G. Audemard and L. Simon, Predicting learnt clauses quality in modern SAT solvers, IJCAI, pp.399-404, 2009.

S. Becker-weimann, J. Wolf, H. Herzel, and A. Kramer, Modeling Feedback Loops of the Mammalian Circadian Oscillator, Biophysical Journal, vol.87, issue.5, pp.3023-3034, 2004.
DOI : 10.1529/biophysj.104.040824

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

C. Bessiere, G. Katsirelos, N. Narodytska, C. Quimper, and T. Walsh, Decompositions of all different, global cardinality and related constraints, Proceedings of the 21st International Joint Conference on Artificial Intelligence, IJCAI'09, pp.419-424, 2009.
URL : https://hal.archives-ouvertes.fr/lirmm-00382607

J. M. Borghans, G. Dupont, and A. Goldbeter, Complex intracellular calcium oscillations A theoretical exploration of possible mechanisms, Biophysical Chemistry, vol.66, issue.1, pp.25-41, 1997.
DOI : 10.1016/S0301-4622(97)00010-0

H. Bunke, On a relation between graph edit distance and maximum common subgraph, Pattern Recognition Letters, vol.18, issue.8, pp.689-694, 1997.
DOI : 10.1016/S0167-8655(97)00060-3

L. Calzone, N. Chabrier-rivier, F. Fages, and S. Soliman, Machine Learning Biochemical Networks from Temporal Logic Properties, Transactions on Computational Systems Biology VI CMSB'05 Special Issue, pp.68-94, 2006.
DOI : 10.1007/11880646_4

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-rivier, M. Chiaverini, and V. Danos, 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

P. Champin and C. Solnon, Measuring the Similarity of Labeled Graphs, ICCBR 2003, LNAI 2689, pp.80-95, 2003.
DOI : 10.1007/3-540-45006-8_9

C. Chaouiya, E. Remy, and D. Thieffry, Petri net modelling of biological regulatory networks, Journal of Discrete Algorithms, vol.6, issue.2, pp.165-177, 2008.
DOI : 10.1016/j.jda.2007.06.003

A. Stephen and . Cook, The complexity of theorem-proving procedures, STOC, pp.151-158, 1971.

D. Diaz, S. Abreu, and P. Codognet, Abstract, Theory and Practice of Logic Programming, pp.253-282, 2012.
DOI : 10.1016/0743-1066(95)00121-2
URL : https://hal.archives-ouvertes.fr/hal-01117539

P. Dittrich and P. Di-fenizio, Chemical Organisation Theory, Bulletin of Mathematical Biology, vol.96, issue.25, pp.1199-1231, 2007.
DOI : 10.1007/s11538-006-9130-8

N. Eén and N. Sörensson, Translating pseudo-boolean constraints into SAT, Journal on Satisfiability Boolean Modeling and Computation, vol.2, issue.1-4, pp.1-26, 2006.

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

B. Ermentrout, Simulating, Analyzing, and Animating Dynamical Systems: A Guide to XPPAUT for Researchers and Students, SIAM, 2002.
DOI : 10.1137/1.9780898718195

F. Fages, S. Gay, and S. Soliman, Inferring Reaction Models from ODEs, CMSB'12: Proceedings of the tenth international conference on Computational Methods in Systems Biology, pp.370-373, 2012.
DOI : 10.1007/978-3-642-33636-2_23

F. Fages and S. Soliman, Formal Cell Biology in Biocham, 8th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology SFM'08, pp.54-80, 2008.
DOI : 10.1007/978-3-540-68894-5_3

F. Fages, S. Soliman, and N. Chabrier-rivier, Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM, Journal of Biological Physics and Chemistry, vol.4, issue.2, pp.64-73, 2004.
DOI : 10.4024/2040402.jbpc.04.02
URL : https://hal.archives-ouvertes.fr/hal-01431345

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

W. G. Fisher, C. Pei-chi, R. K. Yang, M. S. Medikonduri, and . Jafri, NFAT and NF??B Activation in T Lymphocytes: A Model of Differential Activation of Gene Expression, Annals of Biomedical Engineering, vol.398, issue.2, pp.1712-1728, 2006.
DOI : 10.1007/s10439-006-9179-4

T. S. Gardner, M. Dolnik, and J. J. Collins, A theory for controlling cell cycle dynamics using a reversibly binding inhibitor, Proceedings of the National Academy of Sciences, vol.95, issue.24, pp.9514190-14195, 1998.
DOI : 10.1073/pnas.95.24.14190

M. R. Garey and D. S. Johnson, Computers and intractability: a guide to the theory of NP-completeness, 1979.

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, T. Martinez, S. Soliman, and F. Fages, A constraint program for subgraph epimorphisms with application to identifying model reductions in systems biology, Proceedings of the seventh Workshop on Constraint Based Methods for Bioinformatics WCB'11, pp.59-66, 2011.

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

T. Daniel and . Gillespie, Exact stochastic simulation of coupled chemical reactions, Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977.

A. Goldbeter, A minimal cascade model for the mitotic oscillator involving cyclin and cdc2 kinase., Proceedings of the National Academy of Sciences, vol.88, issue.20, pp.9107-9111, 1991.
DOI : 10.1073/pnas.88.20.9107

A. Goldbeter, A Model for Circadian Oscillations in the Drosophila Period Protein (PER), Proceedings of the Royal Society B: Biological Sciences, vol.261, issue.1362, pp.319-324, 1362.
DOI : 10.1098/rspb.1995.0153

E. Grafahrend-belau, F. Schreiber, M. Heiner, A. Sackmann, H. Björn et al., Modularization of biochemical networks based on classification of Petri net t-invariants, BMC Bioinformatics, vol.9, issue.1, p.9, 2008.
DOI : 10.1186/1471-2105-9-90

P. Hell and J. Nesetril, Graphs and Homomorphisms, 2004.
DOI : 10.1093/acprof:oso/9780198528173.001.0001

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

C. Kaleta, S. Richter, and P. Dittrich, Using chemical organization theory for model checking, Bioinformatics, vol.25, issue.15, pp.1915-1922, 2009.
DOI : 10.1093/bioinformatics/btp332

G. Koh, H. F. Teong, M. Clement, D. Hsu, and P. S. Thiagarajan, A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk, Bioinformatics, vol.22, issue.14, pp.22-271, 2006.
DOI : 10.1093/bioinformatics/btl264

M. Koshimura, T. Zhang, H. Fujita, and R. Hasegawa, QMaxSAT: A partial max-SAT solver system description, Journal on Satisfiability Boolean Modeling and Computation, vol.8, pp.95-100, 2012.

S. M. Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics, vol.5, 1998.
DOI : 10.1007/978-1-4612-9839-7

Y. Vianney-le-clément, C. Deville, and . Solnon, Constraint-Based Graph Matching, 15th International Conference on Principles and Practice of Constraint Programming, pp.274-288, 2009.
DOI : 10.1007/3-540-70659-3_12

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

N. Le and N. , BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems, Nucleic Acid Research, vol.1, issue.34, pp.689-691, 2006.

J. Leloup and A. Goldbeter, Incorporating the Formation of a Complex between the PER and TIM Proteins, Journal of Biological Rhythms, vol.380, issue.1, pp.70-87, 1998.
DOI : 10.1177/074873098128999934

J. Leloup and A. Goldbeter, Chaos and Birhythmicity in a Model for Circadian Oscillations of the PER and TIM Proteins in Drosophila, Journal of Theoretical Biology, vol.198, issue.3, pp.445-449, 1999.
DOI : 10.1006/jtbi.1999.0924

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.1073/pnas.1132112100

A. Levchenko, J. Bruck, and P. W. Sternberg, Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties, Proceedings of the National Academy of Sciences, vol.97, issue.11, pp.975818-5823, 2000.
DOI : 10.1073/pnas.97.11.5818

J. C. Locke, L. Kozma-bognár, P. D. Gould, B. Fehér, E. Kevei et al., Experimental validation of a predicted feedback loop in the multi-oscillator clock of Arabidopsis thaliana, Molecular systems biology, 2006.
DOI : 10.1038/msb4100102

J. C. Locke, M. M. Southern, L. Kozma-bognár, V. Hibberd, P. E. Brown et al., Extension of a genetic network model by iterative experimentation and mathematical analysis, Molecular Systems Biology, vol.419, issue.1, pp.4100018-4100019, 2005.
DOI : 10.1038/msb4100018

N. I. Markevich, J. B. Hoek, and B. N. Kholodenko, Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades, The Journal of Cell Biology, vol.71, issue.3, pp.353-359, 2005.
DOI : 10.1074/jbc.M103369200

F. Nabli, F. Fages, T. Martinez, and S. Soliman, A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets, Proceedings of CP'2012, 18th International Conference on Principles and Practice of Constraint Programming, pp.798-814, 2012.
DOI : 10.1007/978-3-642-33558-7_57

F. Nabli and S. Soliman, Steady-state solution of biochemical systems, beyond S-systems via T-invariants, Proceedings of the 8th International Conference on Computational Methods in Systems Biology, CMSB '10, pp.14-22, 2010.
DOI : 10.1145/1839764.1839768

N. Robertson and P. D. Seymour, Graph minors. I. Excluding a forest, Journal of Combinatorial Theory, Series B, vol.35, issue.1, pp.39-61, 1983.
DOI : 10.1016/0095-8956(83)90079-5

N. Robertson and P. D. Seymour, Graph Minors .XIII. The Disjoint Paths Problem, Journal of Combinatorial Theory, Series B, vol.63, issue.1, pp.65-110, 1995.
DOI : 10.1006/jctb.1995.1006

N. Robertson and P. D. Seymour, Graph Minors. XX. Wagner's conjecture, Journal of Combinatorial Theory, Series B, vol.92, issue.2, pp.325-357, 2004.
DOI : 10.1016/j.jctb.2004.08.001

C. Rohr, W. Marwan, and M. Heiner, Snoopy--a unifying Petri net framework to investigate biomolecular networks, Bioinformatics, vol.26, issue.7, pp.974-975, 2010.
DOI : 10.1093/bioinformatics/btq050

S. Schuster, D. A. Fell, and T. Dandekar, A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks, Nature Biotechnology, vol.18, issue.3, pp.326-332, 2002.
DOI : 10.1038/73786

G. Shinar and M. Feinberg, Structural Sources of Robustness in Biochemical Reaction Networks, Science, vol.327, issue.5971, pp.1389-1391, 2010.
DOI : 10.1126/science.1183372

P. Smolen, P. E. Hardin, B. S. Lo, D. A. Baxter, and J. H. Byrne, Simulation of Drosophila Circadian Oscillations, Mutations, and Light Responses by a Model with VRI, PDP-1, and CLK, Biophysical Journal, vol.86, issue.5, pp.2786-2802, 2004.
DOI : 10.1016/S0006-3495(04)74332-5

S. Soliman, Finding minimal P/T-invariants as a CSP, Proceedings of the fourth Workshop on Constraint Based Methods for Bioinformatics WCB'08, 2008.

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

C. Solnon, AllDifferent-based filtering for subgraph isomorphism, Artificial Intelligence, vol.174, issue.12-13, pp.12-13850, 2010.
DOI : 10.1016/j.artint.2010.05.002
URL : https://hal.archives-ouvertes.fr/hal-01381476

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

H. R. Ueda, M. Hagiwara, and H. Kitano, Robust Oscillations within the Interlocked Feedback Model of Drosophila Circadian Rhythm, Journal of Theoretical Biology, vol.210, issue.4, pp.401-406, 2001.
DOI : 10.1006/jtbi.2000.2226

A. Varma and B. O. 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

N. Vikas, Computational Complexity of Graph Compaction, 1997.

T. Walsh, Symmetry breaking using value precedence, ECAI, p.168, 2006.

S. Zampelli, Y. Deville, and C. Solnon, Solving subgraph isomorphism problems with constraint programming, Constraints, vol.23, issue.1, pp.327-353, 2010.
DOI : 10.1007/s10601-009-9074-3
URL : https://hal.archives-ouvertes.fr/hal-01381438

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