三、基于UPPAAL的仿真与验证