We propose a formulation and computational algorithm for the design of feedback controls for discrete-event dynamical systems with cyclic behavior. Models for the process and controller are expressed using timed and untimed Petri nets, respectively. Performance specifications are given in terms of forbidden states. Numerical solution for an optimal feedback controller is found by simulated annealing. These procedures are demonstrated for a literature benchmark problem, and for supervisory control of a pipeless batch plant.