On consistent reduction in discrete-event systems