On closed-loop liveness of discrete event systems under maximally permissive control