Discrete event systems (DES) are dynamic systems in which state changes occur at distinct instants in response to asynchronously generated events. Modelling and control of such systems rely on formal ...