Extended Transition Systems for Parametric Bisimulation