The paper deals with the problem of timed state space generation and exploration in the frame of simulation–optimization approach for discrete-event systems. Coloured Petri net representation of a system is considered and corresponding techniques of timed state space generation and timed...