| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第一章 绪论 | 第8-12页 |
| ·论文研究背景及意义 | 第8-9页 |
| ·国内外研究现状 | 第9-10页 |
| ·论文的主要研究内容与组织结构 | 第10-12页 |
| 第二章 Petri网理论介绍及扩展 | 第12-22页 |
| ·Petri网概述 | 第12页 |
| ·经典Petri网理论 | 第12-14页 |
| ·高级Petri网介绍 | 第14-19页 |
| ·高级Petri网产生的意义 | 第14页 |
| ·颜色Petri网 | 第14-17页 |
| ·谓词/变迁网系统 | 第17-19页 |
| ·增广Petri网 | 第19-21页 |
| ·引入增广Petri网的目的 | 第19页 |
| ·带抑止弧和使能弧的Petri网 | 第19-21页 |
| ·小结 | 第21-22页 |
| 第三章 扩展Petri网的提出及城市交通信号系统模型建立 | 第22-38页 |
| ·扩展Petri网的提出 | 第22-25页 |
| ·扩展Petri网的提出背景 | 第22页 |
| ·扩展Petri网的语法结构 | 第22-25页 |
| ·交通信号理论知识介绍 | 第25-28页 |
| ·交通信号系统控制参数的种类与功能 | 第25-26页 |
| ·交通信号灯控制目的 | 第26-27页 |
| ·交通信号灯设置条件 | 第27-28页 |
| ·城市交叉口交通信号系统绿冲突检测模型 | 第28-33页 |
| ·绿冲突检测模型建立的必要性 | 第28-29页 |
| ·系统交通信号相位设计 | 第29-31页 |
| ·绿冲突检测模型建立 | 第31-32页 |
| ·城市交叉口绿冲突检测模型分析 | 第32-33页 |
| ·城市交叉口系统整体运行模型建立 | 第33-37页 |
| ·系统整体模型建立 | 第33-34页 |
| ·系统整体模型运行状况分析 | 第34-37页 |
| ·小结 | 第37-38页 |
| 第四章 系统Petri网模型的仿真与验证 | 第38-52页 |
| ·Petri网模型仿真方法介绍 | 第38页 |
| ·Petri网的硬件电路实现 | 第38-42页 |
| ·经典Petri网的硬件电路实现 | 第39-40页 |
| ·扩展Petri网的硬件电路模拟 | 第40-42页 |
| ·Petri网的硬件编程语言Verilog实现 | 第42-47页 |
| ·颜色Petri网的Verilog语言实现 | 第42-44页 |
| ·带抑止弧和使能弧的增广着色Petri网的Verilog语言模拟实现 | 第44-47页 |
| ·Verilog语言的系统整体运行模型仿真结果分析 | 第47-50页 |
| ·整体运行仿真结果分析 | 第47-48页 |
| ·系统在正常状态下的仿真结果 | 第48-49页 |
| ·系统发生绿冲突时的仿真结果 | 第49-50页 |
| ·系统模型评价 | 第50-51页 |
| ·小结 | 第51-52页 |
| 第五章 总结和展望 | 第52-54页 |
| ·总结 | 第52页 |
| ·展望 | 第52-54页 |
| 参考文献 | 第54-57页 |
| 攻读硕士学位期间发表论文及科研成果 | 第57-58页 |
| 致谢 | 第58-59页 |
