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

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

V. Reddy, M. Mavrovouniotis, M. Liebman, L. Hunter, D. Searls et al., Petri net representations in metabolic pathways, Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology (ISMB, pp.328-336

D. Gilbert, M. Heiner, S. Lehrack, M. Calder, and S. Gilmore, A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets, CMSB'07: Proceedings of the fifth international conference on Computational Methods in Systems Biology, 2007.
DOI : 10.1007/978-3-540-75140-3_14

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

S. Schuster, D. 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

V. Chickarmane, B. Kholodenkob, and H. Sauro, Oscillatory dynamics arising from competitive inhibition and multisite phosphorylation, Journal of Theoretical Biology, vol.244, issue.1, pp.68-76, 2007.
DOI : 10.1016/j.jtbi.2006.05.013

B. Schoeberl, C. Eichler-jonsson, E. 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.
DOI : 10.1038/nbt0402-370

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

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

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

J. 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, pp.79-112, 1990.
DOI : 10.1007/3-540-53863-1_22

R. Vallabhajosyulaa, V. Chickarmane, and H. Sauro, Conservation analysis of large biochemical networks, Bioinformatics, vol.22, issue.3, pp.346-353, 2005.
DOI : 10.1093/bioinformatics/bti800

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

S. Hoops, S. Sahle, R. Gauges, C. Lee, J. Pahle et al., COPASI--a COmplex PAthway SImulator, Bioinformatics, vol.22, issue.24, pp.223067-3074, 2006.
DOI : 10.1093/bioinformatics/btl485

L. De-figueiredo, A. Podhorski, A. Rubio, C. Kaleta, J. Beasley et al., Computing the shortest elementary flux modes in genomescale metabolic networks, Bioinformatics, issue.23, pp.253158-3165, 2009.

G. Ciardo, G. Mecham, E. Paviot-adet, and M. Wan, P-Semiflow Computation with Decision Diagrams, PETRI NETS '09: Proceedings of the 30th International Conference on Applications and Theory of Petri Nets Berlin, pp.143-162, 2009.
DOI : 10.1007/3-540-58152-9_23
URL : https://hal.archives-ouvertes.fr/hal-01298264

P. Meseguer, Constraint satisfaction problems: an overview, AI Communications, vol.2, pp.3-17, 1989.

V. Kumar, Algorithms for Constraint-Satisfaction Problems: A Survey. AI Magazine, pp.32-44, 1992.

C. Law, B. Gwee, and J. Chang, Fast and memory-efficient invariant computation of ordinary Petri nets, IEE Proceedings: Computers and Digital Techniques, pp.612-624, 2007.
DOI : 10.1049/iet-cdt:20060071

K. Roovers and R. Assoian, Integrating the MAP kinase signal into the G1 phase cell cycle machinery, BioEssays, vol.244, issue.9, pp.818-826, 2000.
DOI : 10.1002/1521-1878(200009)22:9<818::AID-BIES7>3.0.CO;2-6

A. Levchenko, J. Bruck, and P. 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

S. Hardy and P. Robillard, Visualization of the simulation data of biochemical network models: a painted Petri net approach USA: Society for Computer Simulation International, Proceedings of the SCSC'07 summer computer simulation conference, pp.802-808

M. Terzer and J. Stelling, Large-scale computation of elementary flux modes with bit pattern trees, Bioinformatics, vol.24, issue.19, pp.2229-2235, 2008.
DOI : 10.1093/bioinformatics/btn401

S. Graf, B. Steffen, and G. Lüttgen, Compositional minimisation of finite state systems using interface specifications, Formal Aspects of Computing, vol.17, issue.5, pp.607-616, 1996.
DOI : 10.1007/BF01211911

H. Genrich, W. Brauer, W. Reisig, and G. Rozenberg, Predicate/transition nets In Advances in Petri nets, of Lecture Notes in Computer Science, pp.207-247

J. Sifakis, Structural properties of petri nets, Proceedings of MFCS'78, 7th Symposium on the Mathematical Foundations of Computer Science, pp.474-483
DOI : 10.1007/3-540-08921-7_95

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

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
DOI : 10.1145/1839764.1839768

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.
DOI : 10.1016/S0092-8674(00)80625-X

K. 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