V. Danos and C. Laneve, Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, pp.69-110, 2004.
DOI : 10.1016/j.tcs.2004.03.065
URL : https://hal.archives-ouvertes.fr/hal-00164591

J. Feret, Gkappa: a library to generate site graphs with graphviz

V. Danos, J. Feret, W. Fontana, and J. Krivine, Scalable Simulation of Cellular Signaling Networks, Proc. APLAS'07, pp.139-157, 2007.
DOI : 10.1007/978-3-540-76637-7_10
URL : https://hal.archives-ouvertes.fr/inria-00528409

J. Feret, V. Danos, J. Krivine, R. Harmer, and W. Fontana, Internal coarse-graining of molecular systems, Proceedings of the National Academy of Sciences, vol.83, issue.2-3, 2009.
DOI : 10.1016/j.biosystems.2005.06.014
URL : https://hal.archives-ouvertes.fr/inria-00528330

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.362-381, 2010.
DOI : 10.1109/LICS.2010.44
URL : https://hal.archives-ouvertes.fr/hal-00520112

J. W. Eaton, D. Bateman, S. Hauberg, and R. Wehbring, GNU Octave version 4.0.0 manual: a high-level interactive language for numerical computations, 2015.

M. Blinov, J. R. Faeder, B. Goldstein, and W. S. Hlavacek, BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, vol.20, issue.17, pp.20-3289, 2004.
DOI : 10.1093/bioinformatics/bth378

J. R. Faeder, M. L. Blinov, and W. S. Hlavacek, Rule-Based Modeling of Biochemical Systems with BioNetGen, Methods Mol Biol, vol.500, pp.113-67, 2009.
DOI : 10.1007/978-1-59745-525-1_5

M. Hucka, F. T. Bergmann, S. Hoops, S. M. Keating, S. Sahle et al., The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core, Nature Precedings, 2010.
DOI : 10.1038/npre.2010.4959.1

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin, ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations, Proc. TACAS'17, pp.310-328, 2017.
DOI : 10.1007/978-3-319-34096-8_7

A. Dräger, H. Planatscher, D. M. Wouamba, A. Schröder, M. Hucka et al., SBML2LATEX: Conversion of SBML files into human-readable reports, Bioinformatics, vol.25, issue.11, pp.1455-1456, 2009.
DOI : 10.1093/bioinformatics/btp170

A. Funahashi, Y. Matsuoka, A. Jouraku, M. Morohashi, N. Kikuchi et al., CellDesigner 3.5: A Versatile Modeling Tool for Biochemical Networks, Proc. of the IEEE 96, 2008.
DOI : 10.1109/JPROC.2008.925458

P. Boutillier, T. Ehrhard, and J. Krivine, Incremental Update for Graph Rewriting, Proc. ESOP'17, pp.201-228, 2017.
DOI : 10.1073/pnas.0809908106

M. W. Sneddon, J. R. Faeder, and T. Emonet, Efficient modeling, simulation and coarse-graining of biological complexity with NFsim, Nature Methods, vol.104, issue.2, pp.177-183, 2011.
DOI : 10.1021/jp993732q

F. Camporesi and J. Feret, Formal Reduction for Rule-based Models, Proc. MFPS XXVII, pp.29-59, 2011.
DOI : 10.1016/j.entcs.2011.09.014
URL : https://hal.archives-ouvertes.fr/inria-00636850

F. Camporesi, J. Feret, H. Koeppl, and T. Petrov, Combining Model Reductions, Proc. MFPS XXVI, pp.73-96, 2010.
DOI : 10.1016/j.entcs.2010.08.006
URL : https://hal.archives-ouvertes.fr/inria-00527536

J. Feret, An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models, Proc. SASB'14, pp.45-65, 2015.
DOI : 10.1016/j.entcs.2015.06.010
URL : https://hal.archives-ouvertes.fr/hal-01098556

P. Buchholz, Bisimulation relations for weighted automata, Theoretical Computer Science, vol.393, issue.1-3, pp.109-123, 2008.
DOI : 10.1016/j.tcs.2007.11.018

J. Feret, H. Koeppl, and T. Petrov, Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models, International Journal of Software and Informatics, vol.7, issue.4, pp.527-604, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01098561

P. Buchholz, Exact and ordinary lumpability in finite Markov chains, Journal of Applied Probability, vol.1, issue.01, pp.59-75, 1994.
DOI : 10.1016/0166-5316(88)90031-4

F. Camporesi, J. Feret, and K. Q. Lý, KaDE: a tool to compile kappa rules into (reduced) ode models: Supplementary information

T. Petrov, J. Feret, and H. Koeppl, Reconstructing species-based dynamics from reduced stochastic rule-based models, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC), 2012.
DOI : 10.1109/WSC.2012.6465241
URL : https://hal.archives-ouvertes.fr/hal-00734483

N. Oury, M. Pedersen, and R. L. Petersen, Canonical Labelling of Site Graphs, Proc. CompMod'13, pp.13-28, 2013.
DOI : 10.4204/EPTCS.116.3

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin, Forward and backward bisimulations for chemical reaction networks, Proc. CONCUR'15, pp.226-239, 2015.

L. Cardelli, M. Tribastone, M. Tschaikowski, and A. Vandin, Efficient Syntax-Driven Lumping of Differential Equations, Proc. TACAS'16, pp.93-111, 2016.
DOI : 10.1007/978-3-662-49674-9_6