An invariant-based approach to the verification of asynchronous parameterized networks