一辆汽车的通过流程为：

• 起落杆处于落下状态，通行灯为红灯。
• 汽车进入门禁系统，入闸传感器值变为True。
• 控制起落杆上升，直到起落杆位置传感器到达升起位置。
• 通行灯为绿灯。
• 汽车离开门禁，触发汽车出闸传感器值为True。
• 控制起落杆下降，直到起落杆位置传感器到达落下位置。
• 通行灯变为红灯。

所描述的控制系统的状态机包括：

• 状态机的所有状态
• 状态机所接收到的外部事件
• 状态机所产生的动作
• 状态机的所有状态跃迁：（原状态、新状态、触发条件、产生动作）

状态机的状态分析：

　　根据工作条件和形式，状态机总共有四种形态：杆停在下方，杆由下往上，杆停在上方，杆由上往下。这四种工作状态循环进行。　　

（1=true，0=false）

状态机接受到的外部事件有:　　

　1.入闸传感器

　2.出闸传感器

　3. 起落杆上传感器

　4. 起落杆下传感器

状态机的动作：

　　1. 红绿灯的切换

　　2. 起落杆的升降

所有状态的越迁：

停车场门禁系统状态机