2016年12月5日
第二周作业
摘要： 当前状态 S0 S1 事件 A0/S1 - E0 - A1/S0 E1 S0：禁止通行 S1：允许通行 E0：汽车进入门禁系统（入闸传感器变为true） E1：汽车离开门禁系统（出闸传感器变为true） A0：起落杆上升，通行灯变为绿灯 A1：起落杆下降，通行灯变为红灯 竖着写（在状态中判断事件）C 阅读全文
posted @ 2016-12-05 16:53 sombra 阅读(138) 评论(1) 推荐(0) 编辑