Using (Timed) Petri Nets for Verification of Parametrized (Timed) Systems