LOTOS模型中定义的基本算符，T1∣∣∣T2表示（）。

A.需要在T1，T2中选择一个执行
B.T1和T2两个任务相互独立执行，可按任意顺序执行，但永远不会同步
C.任务T1，T2必须在动作处保持同步
D.一旦T2任务被执行，T1便无效（不活动）