Monotone Structure in Discrete-Event Systems