起始的VAR部分定义了系统的3个状态变量，变量level_a和level_b分别记录了上层水槽(upper tank)和下层水槽(lower tank)的当前水位；在每个“时刻”，这两个变量都将分别赋值，取值范围为Empty、ok或Full。
基于12个网页-相关网页
记录了上层水槽
The upper sink was recorded
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动