Approximate reachability and bisimulation equivalences for transition systems