R. Alur, C. Belta, F. Ivanicic, V. Kumar, M. Mintz et al., Hybrid Modeling and Simulation of Biomolecular Networks, Proc. 4th Int. Workshop on Hybrid Systems: Computation and Control) HSCC'01, pp.19-32, 2001.
DOI : 10.1007/3-540-45351-2_6

A. Cpbio, Process Calculi and Biology of Molecular Networks, 2002.

A. Bockmayr and &. A. Courtois, Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems, Proc. Int. Conf. on Logic ProgrammingCopenhagen) ICLP'02, pp.85-99, 2002.
DOI : 10.1007/3-540-45619-8_7
URL : https://hal.archives-ouvertes.fr/inria-00107635

N. Chabrier, M. Chiaverini, V. Danos, F. Fages, and &. V. Schächter, Modelling and querying biochemical networks, Theor. Computer Sci, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01431345

N. Chabrier and &. F. Fages, Symbolic Model Checking of Biochemical Networks, CMSB'03: Proc. 1st Workshop on Computational Methods in Systems Biology, pp.149-162, 2003.
DOI : 10.1007/3-540-36481-1_13

N. Chabrier, F. Fages, and &. S. Soliman, BIOCHAM's user manual. INRIA, 2003.

N. Chabrier-rivier, F. Fages, and &. S. Soliman, The Biochemical Abstract Machine BIOCHAM, Proc. 2nd Workshop on Computational Methods in Systems Biology Lecture Notes in Computer Science, 2004.
DOI : 10.1007/BF03037227
URL : https://hal.archives-ouvertes.fr/inria-00000814

K. C. Chen, A. Csikász-nagy, B. Györffy, J. Val, B. Novák et al., Kinetic Analysis of a Molecular Model of the Budding Yeast Cell Cycle, Molecular Biology of the Cell, vol.11, issue.1, pp.396-391, 2000.
DOI : 10.1091/mbc.11.1.369

M. Chiaverini and &. V. Danos, A Core Modeling Language for the Working Molecular Biologist (Abstract), CMSB'03: Proc. 1st Workshop on Computational Methods in Systems Biology Priami), p.166, 2003.
DOI : 10.1007/3-540-36481-1_16

A. Cimatti, E. Clarke, F. Giunchiglia, E. Giunchiglia, M. Pistore et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Proc. Int. Conf. on Computer-Aided Verification, CAV'02, 2002.
DOI : 10.1007/3-540-45657-0_29
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.8023

E. M. Clarke, O. Grumberg, and &. D. Peled, Model Checking, 1999.

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

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

R. Ghosh and &. C. Tomlin, Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model, Proc. 4th Int. Workshop on Hybrid Systems: Computation and Control) HSCC'01, pp.232-246, 2001.
DOI : 10.1007/3-540-45351-2_21

R. Hofestädt and &. S. Thelen, Quantitative modelling of biochemical networks, In: In Silico Biology, vol.1, pp.39-53, 1998.

T. Ideker, T. Galitski, and &. L. Hood, : Systems Biology, Annual Review of Genomics and Human Genetics, vol.2, issue.1, pp.343-372, 2001.
DOI : 10.1146/annurev.genom.2.1.343

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

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.703-2734, 1999.
DOI : 10.1091/mbc.10.8.2703

W. Kolch, A. Kotwaliwale, K. Vass, and &. P. Janosch, The role of Raf kinases in malignant transformation, Expert Reviews in Molecular Medicine, vol.4, issue.08
DOI : 10.1017/S1462399402004386

A. Levchenko, J. Bruck, and &. P. Sternberg, Scaffold proteins may biphasically affect the levels of mitogenactivated protein kinase signaling and reduce its threshold properties, Proc. Natl Acad. Sci. USA 97, pp.5818-5823, 2000.

R. Maimon and &. S. Browning, Diagrammatic notation and computational structure of gene networks, Proc. 2nd Int. Conf. on Systems Biology

H. Matsuno, A. Doi, M. Nagasaki, and &. S. Miyano, HYBRID PETRI NET REPRESENTATION OF GENE REGULATORY NETWORK, Biocomputing 2000, pp.338-349, 2000.
DOI : 10.1142/9789814447331_0032

S. H. Muggleton, Inverse entailment and progol, New Generation Computing, vol.12, issue.1, pp.245-286, 1995.
DOI : 10.1007/BF03037227
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.1630

M. Nagasaki, S. Onami, S. Miyano, and &. H. Kitano, Biocalculus: its concept, and an application for molecular interaction, In: Currents in Computational Molecular Biology Frontiers Science Series, vol.30, 2000.

A. Regev, W. Silverman, and &. Y. Shapiro, Representation and simulation of biochemical processes using the picalculus process algebra, Proc. 6th Pacific Symp. Biocomputing, pp.459-470, 2001.

J. Schaff and &. L. Loew, The Virtual Cell, Biocomputing '99, pp.228-239, 1999.
DOI : 10.1142/9789814447300_0023

B. E. Shapiro, A. Levchenko, E. M. Meyerowitz, B. J. Wold, and &. E. Mjolsness, Cellerator: extending a computer algebra system to include biochemical arrows for signal transduction simulations, Bioinformatics, vol.19, issue.5, pp.677-678, 2003.
DOI : 10.1093/bioinformatics/btg042

S. Soliman and &. F. Fages, CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems, Proc. 2nd Workshop on Computational Methods in Systems Biology Lecture Notes in Computer Science, 2004.
DOI : 10.1093/nar/28.1.27

P. Mapk~{p1, +. =>-mapk~{p1}, and . Mapkph, absent(MEK~{p1}-RAF~{p1}). absent(MEKPH-MEK~{p1}). absent(MEKPH-MEK~{p1,p2}). absent(MAPK-MEK~{p1,p2}). absent(MAPK~{p1}-MEK~{p1,p2}). absent(MAPKPH-MAPK~{p1}). absent(MAPKPH-MAPK~{p1,p2}). absent(RAF~{p1}). absent(MEK~{p1}). absent(MEK~{p1,p2}). absent(MAPK~{p1})