单项选择题

一旦T2任务被执行,T1便无效(不活动),LOTOS模型中定义是()。

A.T1[>T2
B.T1∣∣∣T2
C.T1>>T2
D.T1[]T2