中文摘要 | 第1-4页 |
英文摘要 | 第4-7页 |
第一章 绪 论 | 第7-10页 |
第二章 智能交通 | 第10-22页 |
2.1 智能交通的基本概念及其发展现状 | 第10-14页 |
2.2 交通控制的基本概念 | 第14-16页 |
2.2.1 相位(Phase) | 第14-15页 |
2.2.2 阶段(Stage) | 第15-16页 |
2.2.3 运行方式(Mode) | 第16页 |
2.3 制造系统的回顾 | 第16-21页 |
2.3.1 制造系统的基本组成 | 第17-18页 |
2.3.2 制造技术与制造系统简介 | 第18-21页 |
2.4 广义物流系统Petri网建模的主要思想 | 第21-22页 |
第三章 PETRI网的基本理论 | 第22-31页 |
3.1 Petri网的起源、优缺点及分类 | 第22-24页 |
3.2 Petri网理论的基本概念和知识 | 第24-26页 |
3.3 Petri网的图 | 第26-27页 |
3.4 变迁间的基本关系 | 第27-28页 |
3.5 Petri网的性能指标 | 第28-29页 |
3.6 Petri网的分析技术 | 第29-31页 |
3.6.1 可达树 | 第29-30页 |
3.6.2 不变量 | 第30页 |
3.6.3 变迁序列和Petri网语言 | 第30-31页 |
3.6.4 结构分析 | 第31页 |
第四章 时间PETRI网 | 第31-43页 |
4.1 时间Petri网的基本定义 | 第31-32页 |
4.2 关联矩阵 | 第32-34页 |
4.3 对一个简单的制造系统进行TPPN建模 | 第34-36页 |
4.4 关于一个“T”型路口的建模 | 第36-43页 |
第五章 有色PETRI网(CPN) | 第43-55页 |
5.1 有色Petri网的基本概念 | 第43-45页 |
5.2 制造系统的有色Petri网模型 | 第45-46页 |
5.3 有色Petri网的回路与回路的计算 | 第46-48页 |
5.4 制造系统有色Petri网的死锁检测及应用实例 | 第48-53页 |
5.5 多路口PN模型的死锁检测与分析 | 第53-55页 |
第六章 智能交通系统整体建模 | 第55-57页 |
6.1 智能交通系统整体建模步骤流程 | 第55-56页 |
6.2 跨区域分布式交通控制建模 | 第56页 |
6.3 利用ITS PN模型辅助实现交通流优化 | 第56-57页 |
第七章 结束语 | 第57-58页 |
参考文献 | 第58-60页 |
致 谢 | 第60页 |