R. Backofen, S. Will, and E. Bornberg-bauer, Application of constraint programming techniques for structure prediction of lattice proteins with extended alphabets, Bioinformatics, vol.15, issue.3, pp.234-242, 1999.

M. R. Birtwistle, M. Hatakeyama, N. Yumoto, B. A. Ogunnaike, J. B. Hoek et al., Ligand-dependent responses of the ErbB signaling network: experimental and modeling analysis, Molecular Systems Biology, vol.3, issue.144, 2007.

A. Bockmayr and A. Courtois, Using hybrid concurrent constraint programming to model dynamic biological systems, Proceedings of ICLP'02, International Conference on Logic Programming, vol.2401, pp.85-99, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00100783

L. Calzone, A. Gelay, A. Zinovyev, F. Radvanyi, and E. Barillot, A comprehensive modular map of molecular interactions in RB/E2F pathway, Molecular Systems Biology, vol.4, issue.173, 2008.

N. Chabrier-rivier, M. Chiaverini, V. Danos, F. Fages, and V. Schächter, Modeling and querying biochemical interaction networks, Theoretical Computer Science, vol.325, issue.1, pp.25-44, 2004.

F. Chu and X. Xie, Deadlock analysis of petri nets using siphons and mathematical programming, IEEE Transactions on Robotics and Automation, vol.13, issue.6, pp.793-804, 1997.

F. Commoner, Deadlocks in petri nets, Applied Data Research Inc, 1972.

F. Corblin, S. Tripodi, E. Fanchon, D. Ropers, and L. Trilling, A declarative constraintbased method for analyzing discrete genetic regulatory networks, Biosystems, vol.98, issue.2, pp.91-104, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00793012

R. Cordone, L. Ferrarini, and L. Piroddi, Characterization of minimal and basis siphons with predicate logic and binary programming, Proceedings of IEEE International Symposium on Computer-Aided Control System Design, pp.193-198, 2002.

R. Cordone, L. Ferrarini, and L. Piroddi, Some results on the computation of minimal siphons in petri nets, Proceedings of the 42nd IEEE Conference on Decision and Control, 2003.

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, pp.844-854, 2005.

B. Courcelle, The monadic second-order logic of graphs i. recognizable sets of finite graphs. Information and Computation, pp.12-75, 1990.

B. Courcelle and I. Durand, Automata for the verification of monadic second-order graph properties, Journal of Applied Logic, pp.368-409, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00611853

J. M. Crawford and L. D. Auton, Experimental results on the crossover point in satisfiability problems, Proceedings of the 11th National Conference on Artificial Intelligence, pp.21-27, 1993.

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.

V. Devloo, P. Hansen, and M. Labbe, Identification of all steady states in large biological systems by logical analysis, Bulletin of Mathematical Biology, vol.65, pp.1025-1051, 2003.

D. Diaz and P. Codognet, Design and implementation of the GNU Prolog system, Journal of Functional and Logic Programming, vol.6, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00693240

P. Dittrich and P. Di-fenizio, Chemical organisation theory, Bulletin of Mathematical Biology, vol.69, issue.4, pp.1199-1231, 2007.

F. Fages, S. Soliman, and R. Coolen, CLPGUI: a generic graphical user interface for constraint logic programming, Journal of Constraints, Special Issue on User-Interaction in Constraint Satisfaction, vol.9, issue.4, pp.241-262, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01431350

E. Fanchon, F. Corblin, L. Trilling, B. Hermant, and D. Gulino, Modeling the molecular network controlling adhesion between human endothelial cells: Inference and simulation using constraint logic programming, CMSB'04: Proceedings of the 20 international conference on Computational Methods in Systems Biology, pp.104-118, 2004.

G. Gottlob, N. Leone, and F. Scarcello, A comparison of structural CSP decomposition methods, Artificial Intelligence, vol.124, 2000.

R. Goud, K. Van-hee, R. Post, and J. Van-der-werf, Petriweb: A repository for petri nets, Petri Nets and Other Models of Concurrency -ICATPN, vol.4024, pp.411-420, 2006.

M. Heiner, D. Gilbert, R. Donaldson, ;. M. Bernardo, P. Degano et al., Petri nets for systems and synthetic biology, 8th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology SFM'08, vol.5016, pp.215-264, 2008.

S. Helfert, A. Estevez, B. Bakker, P. Michels, and C. Clayton, Roles of triosephosphate isomerase and aerobic metabolism in trypanosoma brucei, Biochem. J, vol.357, pp.117-125, 2001.

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

R. M. Karp, Reducibility among combinatorial problems, Proceedings of a Symposium on the Complexity of Computer Computations, pp.85-103, 1972.

M. Kinuyama and T. Murata, Generating siphons and traps by petri net representation of logic equations, Proceedings of 2th Conference of the Net Theory SIG-IECE, pp.93-100, 1986.

J. Kneis, A. Langer, and P. Rossmanith, Courcelle's theorem -a game-theoretic approach, Discrete Optimization, vol.8, issue.4, pp.568-594, 2011.

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.

A. Larhlimi and A. Bockmayr, A new constraint-based description of the steady-state flux cone of metabolic networks, Computational Biology, vol.157, pp.2257-2266, 2009.

K. Lautenbach, Linear algebraic calculation of deadlocks and traps, Concurrency and Nets Advances in Petri Nets, pp.315-336, 1987.

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 Acid Research, vol.1, issue.34, pp.689-691, 2006.

M. Minoux and K. Barkaoui, Deadlocks and traps in petri nets as horn-satisfiability solutions and some related polynomially solvable problems, Discrete Applied Mathematics, vol.29, pp.195-210, 1990.

D. Mitchell, B. Selman, and H. Levesque, Hard and easy distributions of sat problems, Proceedings of the 10th National Conference on Artificial Intelligence, pp.459-465, 1992.

T. Murata, Petri nets: properties, analysis and applications, Proceedings of the IEEE, vol.77, pp.541-579, 1989.

F. Nabli, Finding minimal siphons as a CSP, CP'11: The Seventeenth International Conference on Principles and Practice of Constraint Programming, pp.67-72, 2011.

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, vol.7514, pp.798-814, 2012.
URL : https://hal.archives-ouvertes.fr/hal-02308495

F. Nabli and S. Soliman, Steady-state solution of biochemical systems, beyond S-Systems via T-invariants, CMSB'10: Proceedings of the 8th International Conference on Computational Methods in Systems Biology, pp.14-22, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01779507

O. Oanea, H. Wimmel, and K. Wolf, New algorithms for deciding the siphon-trap property, PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets, pp.267-286, 2010.

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.

N. Robertson and P. Seymour, Graph minors. II. Algorithmic aspects of tree-width, Journal of Algorithms, vol.7, issue.3, pp.309-322, 1986.

B. Schoeberl, C. Eichler-jonsson, E. D. Gilles, and G. Muller, Computational modeling of the dynamics of the map kinase cascade activated by surface and internalized egf receptors, Nature Biotechnology, vol.20, issue.4, pp.370-375, 2002.

S. Soliman, Invariants and other structural properties of biochemical models as a constraint satisfaction problem, Algorithms for Molecular Biology, vol.7, issue.15, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00784404

L. Stryer, Biochemistry. Freeman, 1995.

S. Tanimoto, M. Yamauchi, and T. Watanabe, Finding minimal siphons in general petri nets, IEICE Trans. on Fundamentals in Electronics, pp.1817-1824, 1996.

A. Kamp and S. Schuster, Metatool 5.0: fast and flexible elementary modes analysis, Bioinformatics, vol.22, issue.15, pp.1930-1931, 2006.

M. Yamauchi and T. Watanabe, Time complexity analysis of the minimal siphon extraction problem of petri nets, EICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, pp.2558-2565, 1999.

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