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

A Traffic Signal Control System Based on Petri Nets

作　　者：蒋忠远[1] 宋文[1] 杨博[1] 

机构地区：[1]西华大学数学与计算机学院,四川成都610039

出　　处：《系统仿真学报》2007年第A01期221-226,共6页Journal of System Simulation

基　　金：国家自然科学基金(60473030)

摘　　要：用带禁止/容许弧的增广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.

关 键 词：PETRI网 自控网 禁止弧 容许弧 形式化 相位 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]