Discrete Event Dynamic Systems-Theory And Applications