Discrete event systems (DES's) are well established models in what can now be con- sidered their traditional applications such as manufacturing systems, air tra c and other transportation systems, and computer networks ...