Efficient Methods for Symbolic Analysis of Complex Reaction Networks