Decidability Results for Parametric Probabilistic Transition Systems