A new approach to the analysis of discrete event dynamic systems