Reformulation for the diagnosis of discrete-event systems