Activity Regions for the Speci cation of Discrete Event Systems