一旦T2任务被执行，T1便无效（不活动），LOTOS模型中定义是（）。