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

摘要：

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

关键词： Petri网 自控网 禁止弧 容许弧 形式化模型 交通信号控制 中断处理

作者: 蒋忠远 宋文 杨博

作者单位: 西华大学数学与计算机学院 四川成都 610039

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 221-226

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）