discrete event dynamic system{=DEDS}