On supervisor reduction in the control of discrete event dynamical system