According to clock zone, infinite state space of timed automata can be transformed to finite.

• 利用时钟带，可以将时间自动机的无穷状态空间转化为有穷。