判断题 UAN属于一种行为模型，它又涉及一定程度的系统行为的描述，因而它兼有行为模型和结构模型的特点。

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

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