A representation of discrete events dynamical systems