Decidability Results in Hybrid Petri Nets