Discrete event dynamic system