相关考题
-
判断题
UAN属于一种行为模型，它又涉及一定程度的系统行为的描述，因而它兼有行为模型和结构模型的特点。 -
单项选择题
一旦T2任务被执行，T1便无效（不活动），LOTOS模型中定义是（）。
A.T1[＞T2
B.T1∣∣∣T2
C.T1＞＞T2
D.T1[]T2 -
单项选择题
LOTOS模型中定义的基本算符，T1∣∣∣T2表示（）。
A.需要在T1，T2中选择一个执行
B.T1和T2两个任务相互独立执行，可按任意顺序执行，但永远不会同步
C.任务T1，T2必须在动作处保持同步
D.一旦T2任务被执行，T1便无效（不活动）
