ANR-DFG SYMBIONT#Systems Biology, #Model Reduction, #Symbolic Methods 2018-12-06 Symbolic Methods for Biological Networks