Weak invariant simulation and analysis of parameterized networks