Reachability analysis of discrete state reaction networks with conservation laws