Computing Parameterized Invariants of Parameterized Petri Nets