分析多时序Petri网的自动机模型
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 引言 | 第10-12页 |
| ·研究背景 | 第10-11页 |
| ·研究现状 | 第11-12页 |
| 第2章 Petri网与自动机 | 第12-19页 |
| ·Petri网简述 | 第12-15页 |
| ·Petri网的形式描述 | 第12-14页 |
| ·Petri网系统的扩展 | 第14-15页 |
| ·形式语言与自动机的简介 | 第15-17页 |
| ·形式语言与自动机 | 第16页 |
| ·文法与自动机的对应 | 第16-17页 |
| ·图与树 | 第17-19页 |
| ·图的定义 | 第17-18页 |
| ·树的定义 | 第18-19页 |
| 第3章 可达集与不变量 | 第19-35页 |
| ·Petri网的可达集 | 第19-28页 |
| ·变迁的实施条件 | 第19-20页 |
| ·可达树和可达图的构造 | 第20页 |
| ·构建分析可达集的自动机 | 第20-28页 |
| ·Petri网的不变量 | 第28-35页 |
| ·不变量的定义 | 第28-29页 |
| ·求解不变量的自动机模型 | 第29-35页 |
| 第4章 竞争策略的自动机模型 | 第35-45页 |
| ·竞争策略的综述 | 第35-36页 |
| ·竞争策略的具体实现 | 第36-39页 |
| ·基于优先级策略的实现 | 第36-38页 |
| ·基于变迁实施时间策略的实现 | 第38-39页 |
| ·多策略相互作用下的自动机模拟 | 第39-45页 |
| ·变迁执行环境中的若干条件 | 第39-40页 |
| ·局部环境中变迁状态的划分与运行逻辑 | 第40-42页 |
| ·多策略作用的自动机模型与形式化定义 | 第42-45页 |
| 第5章 分析SPN网的自动机模型 | 第45-64页 |
| ·SPN网简介 | 第45-47页 |
| ·SPN网的性质 | 第45-46页 |
| ·SPN网的定义 | 第46页 |
| ·SPN网的同构性 | 第46-47页 |
| ·SPN网的有界性 | 第47-51页 |
| ·解决随机转换系统的同构问题 | 第51-58页 |
| ·随机转换系统的同构 | 第51-52页 |
| ·分析随机转换系统同构的自动机 | 第52-58页 |
| ·状态转移最短路径问题 | 第58-64页 |
| ·求解最短路径算法 | 第58-59页 |
| ·求解最短路径的自动机模型 | 第59-64页 |
| 第6章 网系统的分解与压缩 | 第64-70页 |
| ·网系统的分解与压缩 | 第64-66页 |
| ·接近无关的分解 | 第64-65页 |
| ·时间数量级的分解 | 第65-66页 |
| ·时间数量级分解的自动机 | 第66-70页 |
| ·时间数量级分解的算法逻辑 | 第66-67页 |
| ·自动机的运行逻辑 | 第67-70页 |
| 第7章 自动机模型的应用 | 第70-76页 |
| ·柔性制造系统中的应用 | 第70-73页 |
| ·柔性制造系统的设计 | 第71-72页 |
| ·不变量的分析 | 第72-73页 |
| ·网络传输中的应用 | 第73-76页 |
| ·分析网络路由的延时问题 | 第73-74页 |
| ·求解最短路径问题 | 第74-76页 |
| 第8章 结论与展望 | 第76-78页 |
| ·结论 | 第76-77页 |
| ·展望 | 第77-78页 |
| 参考文献 | 第78-82页 |
| 致谢 | 第82页 |
