一、 同步互斥关系
在这条南北双向的国家公路和共享单车道的隧道上,存在如下的同步互斥关系:
1、 同一个车道上,前面的车没有前进,则后面的车不能前进;
2、 对于每一辆将进入隧道的车,只有没有迎面而来的汽车时才能使用隧道。
因此,设置6个传感器和2个信号灯,如下图所示:
传感器A、B、C和D、E、F分别用于获取南、北车道上的信息。A和D传感器通过Arrive函数向信号控制系统传递汽车运行的方向参数以记录到达入口的车;B和E传感器通过Pass函数向信号控制系统传递进入隧道的汽车的运行参数;C和F传感器通过Depart函数向信号控制系统传递汽车离开隧道的运行参数。
当隧道上有从北至南的汽车时,南信号灯为红色,南入口车道上的车进入等待;当隧道上无车,或者有从南至北的汽车,但南入口上的汽车比北入口上的汽车晚到,南信号灯为红色,南入口上的汽车进入等待;当隧道上无车,或者有从南至北的汽车并且此时南入口上的汽车比北入口上的车早到,则南信号灯为绿色,南入口车道上的这辆车可以行进。同样的情况也适用于北信号灯,此处不再赘述。
二、 软件框架