This paper first briefly introduces timed automata, clock region, region equivalence and clock zone.

• 摘要首先简介了时间自动机、时钟区域、区域等价、时钟带的概念。