| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 1 绪论 | 第8-20页 |
| ·课题的研究背景和意义 | 第8-9页 |
| ·PETRI 网的发展历史 | 第9-10页 |
| ·PETRI 网的研究现状 | 第10-13页 |
| ·PETRI 网的结构性质 | 第13页 |
| ·PETRI 网的分析技术 | 第13-14页 |
| ·PETRI 网的应用 | 第14-18页 |
| ·应用于柔性制造系统的建模、分析、控制和优化设计 | 第15页 |
| ·Petri 网应用于工作流、物流等建模 | 第15-16页 |
| ·应用于人工智能 | 第16页 |
| ·用于离散系统的建模和仿真 | 第16-17页 |
| ·Petri 网应用于网络通讯中协议的描述、验证和设计 | 第17-18页 |
| ·Petri 网应用于计算机系统和软件系统建模 | 第18页 |
| ·Petri 网应用于数据库系统 | 第18页 |
| ·本文的主要内容及结构 | 第18-20页 |
| 2 PETRI 网的基础知识 | 第20-30页 |
| ·PETRI 网的基本概念 | 第20-26页 |
| ·网系统分类 | 第26-28页 |
| ·网的结构和行为特征 | 第28-30页 |
| 3 基于PETRI 网结构性质下的混惑研究 | 第30-36页 |
| ·本章相关概念 | 第30-31页 |
| ·混惑的检测与消除 | 第31-34页 |
| ·本章的贡献与需进一步研究的工作 | 第34-36页 |
| 4 基于PETRI 网结构性质下的应用 | 第36-44页 |
| ·模型的建立 | 第36-40页 |
| ·订单前台处理基本架构 | 第36-37页 |
| ·订单前台处理的Petri 网模型 | 第37-39页 |
| ·网上商城后台处理的Petri 网模型的建立 | 第39-40页 |
| ·基于PETRI 网结构下的订单处理模型的正确性分析与验证 | 第40-42页 |
| ·本章的贡献与需进一步研究的工作 | 第42-44页 |
| 5 带优先级控制的哲学家进餐问题无饥饿解的PETRI 网模型 | 第44-52页 |
| ·基本概念 | 第44-46页 |
| ·模型的改进与验证 | 第46-50页 |
| ·本章的贡献与需进一步研究的工作 | 第50-52页 |
| 结论 | 第52-53页 |
| 参考文献 | 第53-57页 |
| 攻读硕士学位期间发表学术论文情况 | 第57-58页 |
| 致谢 | 第58-59页 |
