时间动作锁（Time—Action-Lock，TAL）指的是实时系统处于一种时间无法继续同时又没有任何动作能够发生的状态．Behzad和Kozo在时间自动机......