Discrete Event Dynamic Systems Theory And Applications