Extended transition systems for parametric bisimulation