Supervisory control of discrete event systems for bisimulation or simulation equivalence