KADE: A Tool to Compile Kappa Rules into (Reduced) ODE Models 299- Camporesi, F., Feret, J., L ́y, K.Q.: KaDE: a tool to compile kappa rules into
(reduced) ode models: Supplementary information.http://www.di.ens.fr/∼feret/
CMSB2017-tool-paper/ - Petrov, T., Feret, J., Koeppl, H.: Reconstructing species-based dynamics from
reduced stochastic rule-based models. In: Laroque, C., Himmelspach, J., Pasu-
pathy, R., Rose, O., Uhrmacher, A.M. (eds.) Proceedings of WSC 2012, WSC
(2012) - Oury, N., Pedersen, M., Petersen, R.L.: Canonical labelling of site graphs. In Petre,
I. (ed.) Proceedings of CompMod 2013, EPTCS, vol. 116, pp. 13–28 (2013) - Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Forward and back-
ward bisimulations for chemical reaction networks. In: Aceto, L., de Frutos-Escrig,
D. (eds.) Proceedings of CONCUR 2015, vol. 42, pp. 226–239. LIPIcs., Schloss
Dagstuhl (2015) - Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient syntax-driven
lumping of differential equations. In: Chechik, M., Raskin, J.-F. (eds.) TACAS
2016. LNCS, vol. 9636, pp. 93–111. Springer, Heidelberg (2016). doi:10.1007/
978-3-662-49674-9 6