Traditional mathematical formalisms are unable to model modern self-adaptive discrete event systems (ADES) because they cannot handle behaviors that change at run-time in response to environmental changes. This paper ...