Directed control of discrete event systems