基于Petri网的交通信号控制系统

A Traffic Signal Control System Based on Petri Nets

用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件的发生,系统采用中断技术对交通信号进行中断处理。最后对模型进行了正确性的分析。

A model of traffic signal control system with six phases is constructed by the extended Petri nets with inhibitor or permissive arcs and the cyber net, A phase for pedestrian is designed in this system to separate the conflict between pedestrian and vehicle. This system is convenient to implement the traffic signal control harmoniously for local multi-crossing. For exceptional incidence of crossing, the interruption technology is adopted to deal with the traffic signal in this system. Finally, the correctness analysis of the model is given.