Added bisimulation experiments