Timed Automata - 11

Question 1

When can a timed automaton be simulated by a finite state automaton?

Answer 1

Clock constraints have to be of type c <= e, e <= c, the negative or ands, where e is rational positive and 0. Can also be a difference of clocks.