In this paper an extension of timed automata with priorities is introduced,and we present an improved algorithm to compute subtraction on DBMs.

• 本文介绍一种具有优先级扩展的时间自动机模型,并对一种计算DBM减法算法进行改进。