Control of nondeterministic discrete-event systems for bisimulation equivalence