在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上......

A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness p......