Petri网化简算法及其动态特性研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第一章 绪论 | 第9-15页 |
| ·课题背景及研究意义 | 第9-10页 |
| ·研究动态及现状分析 | 第10-13页 |
| ·Petri 网化简技术研究 | 第10-12页 |
| ·Petri 网化简技术的应用 | 第12页 |
| ·Petri 网化简技术面临的问题 | 第12-13页 |
| ·研究任务和创新点 | 第13页 |
| ·本论文的结构安排 | 第13-15页 |
| 第二章 Petri 网理论基础 | 第15-24页 |
| ·Petri 网的基本概念 | 第15-16页 |
| ·Petri 网的相关定义 | 第16-18页 |
| ·Petri 网的动态性质 | 第18-21页 |
| ·Petri 网常用的几种动态性质 | 第18-20页 |
| ·Petri 网行为语言 | 第20-21页 |
| ·Petri 网的分析方法 | 第21-23页 |
| ·可达标识图与可覆盖性树 | 第21-22页 |
| ·关联矩阵和状态方程 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第三章 指标分解算法 | 第24-34页 |
| ·Petri 网分解技术简述 | 第24页 |
| ·指标分解算法 | 第24-30页 |
| ·指标函数和分解定义 | 第25-26页 |
| ·算法思想 | 第26页 |
| ·算法流程和算法主体 | 第26-30页 |
| ·分析举例 | 第30页 |
| ·两种分解算法的比较 | 第30-33页 |
| ·并分解定义 | 第30-31页 |
| ·并分解算法特点 | 第31-32页 |
| ·同并分解算法比较 | 第32-33页 |
| ·本章小结 | 第33-34页 |
| 第四章 分解子网的动态特性保持分析 | 第34-45页 |
| ·动态性质保持关系分析 | 第34-41页 |
| ·动态库所不变性保持分析 | 第34-36页 |
| ·活性不变性保持分析 | 第36-38页 |
| ·有界性和安全性保持分析 | 第38-40页 |
| ·公平性保持分析 | 第40-41页 |
| ·动态性质保持关系实例分析 | 第41-44页 |
| ·本章小结 | 第44-45页 |
| 第五章 应用实例 | 第45-51页 |
| ·生产者-消费者系统 | 第45-47页 |
| ·生产者-消费者系统介绍 | 第45页 |
| ·生产者-消费者系统行为分析 | 第45-47页 |
| ·多处理机系统 | 第47-49页 |
| ·多处理机系统介绍 | 第47页 |
| ·多处理机系统行为分析 | 第47-49页 |
| ·总结 | 第49-51页 |
| 第六章 结论与展望 | 第51-53页 |
| ·总结 | 第51-52页 |
| ·进一步的工作及展望 | 第52-53页 |
| 参考文献 | 第53-58页 |
| 致谢 | 第58-59页 |
| 附录A（攻读硕士学位期间发表论文目录） | 第59-60页 |
| 附录B（攻读硕士学位期间参加的项目） | 第60-61页 |
| 中文详细摘要 | 第61-65页 |
| 英文详细摘要 | 第65-69页 |
