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

M. Hucka, A. Finney, H. Sauro, H. Bolouri, and J. Doyle, 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

S. Hoops, S. Sahle, R. Gauges, C. Lee, and J. Pahle, COPASI--a COmplex PAthway SImulator, Bioinformatics, vol.22, issue.24, pp.3067-3074, 2006.
DOI : 10.1093/bioinformatics/btl485
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.7514

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

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

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

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

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

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

M. Heiner and I. Koch, Petri Net Based Model Validation in Systems Biology, Proc. 25th ICATPN 2004, pp.216-237, 2004.
DOI : 10.1007/978-3-540-27793-4_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.5302

M. Heiner, D. Gilbert, and R. Donaldson, Petri Nets for Systems and Synthetic Biology, Schools on Formal Methods (SFM); LNCS 5016, pp.215-264, 2008.
DOI : 10.1007/978-3-540-68894-5_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.1680

A. Clark, S. Gilmore, M. Guerriero, and P. Kemper, On verifying Bio-PEPA models, Proceedings of the 8th International Conference on Computational Methods in Systems Biology, CMSB '10, 2010.
DOI : 10.1145/1839764.1839769

M. Heiner, Understanding network behaviour by structured representations of transition invariants, Algorithmic Bioprocesses; Natural Computing series Springer, pp.367-389, 2009.

G. Koh, H. Teong, M. Clement, D. Hsu, and P. 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.271-280, 2006.
DOI : 10.1093/bioinformatics/btl264

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

M. Heiner and K. Sriram, Structural Analysis to Determine the Core of Hypoxia Response Network, PLoS ONE, vol.100, issue.11, p.8600, 2010.
DOI : 10.1371/journal.pone.0008600.s001

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

P. Goss and J. Peccoud, Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets, Proceedings of the National Academy of Sciences, vol.95, issue.12, pp.2340-2361, 1998.
DOI : 10.1073/pnas.95.12.6750

M. Heiner, R. Donaldson, and D. Gilbert, Petri Nets for Systems Biology, Symbolic Systems Biology: Theory and Methods Jones and, 2010.

N. Le-novère, B. Bornstein, A. Broicher, M. Courtot, and M. Donizelli, 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

D. Gilbert and M. Heiner, From Petri Nets to Differential Equations ??? An Integrative Approach for Biochemical Network Analysis, In: Proc. ICATPN LNCS, vol.4024, pp.181-200, 2006.
DOI : 10.1007/11767589_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.9520

C. Gend and U. Kummer, STODE -automatic stochastic simulation of systems described by differential equations, Proceedings of the 2nd International Conference on Systems Biology, pp.326-333, 2001.

L. Dematté, C. Priami, and A. Romanel, The BlenX Language: A Tutorial, 8th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology SFM'08, pp.313-365, 2008.
DOI : 10.1007/978-3-540-68894-5_9

L. Dematte, C. Priami, and A. Romanel, The Beta Workbench: a computational tool to study the dynamics of biological systems, Briefings in Bioinformatics, vol.9, issue.5, pp.437-449, 2008.
DOI : 10.1093/bib/bbn023

L. Euler, De resolutione fractionum compositarum in simpliciores, Mémoires de l9Académie des sciences de St-Pétersbourg, pp.3-25, 1809.

F. Bause, P. Kemper, and P. Kritzinger, Abstract Petri Net Notation, 1994.

S. Soliman, Modelling biochemical reaction networks with biocham extracting qualitative and quantitative information from the structure, Proceedings of the 6th Vienna Conference on Mathematical Modelling MATHMOD'09. ARGESIM, pp.2304-2312, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00419776

S. Yamada, S. Shiono, A. Joo, and A. Yoshimura, Control mechanism of JAK/STAT signal transduction pathway, FEBS Letters, vol.20, issue.1-3, pp.190-196, 2003.
DOI : 10.1016/S0014-5793(02)03842-5

A. Singh, A. Jayaraman, and J. Hahn, Modeling regulatory mechanisms in IL-6 signal transduction in hepatocytes, Biotechnology and Bioengineering, vol.534, issue.5, pp.850-862, 2006.
DOI : 10.1002/bit.21026

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
URL : http://bioinformatics.oxfordjournals.org/cgi/content/short/26/7/974

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

F. Brightman and D. Fell, Differential feedback regulation of the MAPK cascade underlies the quantitative differences in EGF and NGF signalling in PC12 cells, FEBS Letters, vol.36, issue.3, pp.169-174, 2000.
DOI : 10.1016/S0014-5793(00)02037-8