| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 引言 | 第8-9页 |
| 1 绪论 | 第9-15页 |
| ·Petri 网介绍 | 第9页 |
| ·Petri 网发展历程与研究现状 | 第9-11页 |
| ·智能控制系统研究现状 | 第11-12页 |
| ·Petri 网在智能控制系统的应用 | 第12-13页 |
| ·本章小结与论文组织结构 | 第13-15页 |
| 2 Petri 网建模理论基础 | 第15-22页 |
| ·Petri 网的基本原理 | 第15-17页 |
| ·基本元素 | 第15页 |
| ·基本关系 | 第15-16页 |
| ·基本定义 | 第16-17页 |
| ·高级 Petri 网 | 第17页 |
| ·时间有色Petri 网 | 第17-19页 |
| ·有色Petri 网 | 第17-19页 |
| ·时间有色Petri 网 | 第19页 |
| ·适用于建立复杂控制电路模型的分层时间有色Petri 网 | 第19-22页 |
| 3 CPN Tools | 第22-25页 |
| ·CPN Tools 综述 | 第22页 |
| ·CPN Tools 仿真与分析 | 第22-23页 |
| ·CPN ML 编程语言 | 第23-25页 |
| 4 基于 Petri 网的智能电梯群控系统建模仿真与性能分析 | 第25-44页 |
| ·电梯系统的性能评价指标 | 第25-26页 |
| ·电梯群控系统的结构设计 | 第26-27页 |
| ·模型及模型的常量、变量、函数声明 | 第27-29页 |
| ·并联电梯群控系统 HTCPN 模型总体构架 | 第29-30页 |
| ·模型的各子网结构 | 第30-44页 |
| ·服务请求REQUESTS 子网模型 | 第30-34页 |
| ·群控主控制器DOUBLE 子网模型 | 第34-38页 |
| ·单电梯控制模块 SINGLE 子网模型 | 第38-44页 |
| 5 模型的仿真运行与性能分析 | 第44-48页 |
| 6 结论与展望 | 第48-49页 |
| 参考文献 | 第49-53页 |
| 致谢 | 第53-54页 |
| 在读期间公开发表论文（著）及科研情况 | 第54页 |