| 基于Petri网的交通信号控制系统 |
| |
| 引用本文： | 蒋忠运 宋文 杨博. 基于Petri网的交通信号控制系统[J]. 系统仿真学报, 2007, 19(A01): 221-226 |
| |
| 作者姓名： | 蒋忠运 宋文 杨博 |
| |
| 作者单位： | 西华大学数学与计算机学院,四川成都610039 |
| |
| 基金项目： | 国家自然科学基金（60473030） |
| |
| 摘 要： | 用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件的发生,系统采用中断技术对交通信号进行中断处理。最后对模型进行了正确性的分析。
|
| 关 键 词： | Petri网 自控网 禁止弧 容许弧 形式化 相位 |
| 文章编号： | 1004-731X（2007）S1-0221-06 |
| 收稿时间： | 2007-04-20 |
| 修稿时间： | 2007-06-27 |
A Traffic Signal Control System Based on Petri Nets |
| |
| JIANG Zhong-yuan, SONG Wen, YANG Bo. A Traffic Signal Control System Based on Petri Nets[J]. Journal of System Simulation, 2007, 19(A01): 221-226 |
| |
| Authors: | JIANG Zhong-yuan SONG Wen YANG Bo |
| |
| Abstract: | 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. |
| |
| Keywords: | Petri nets cyber net inhibitor arcs permissive arcs formalization phase |
| 本文献已被 维普 等数据库收录！ |
