Petri网基本性质的研究
| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-10页 |
| 第一章 绪论 | 第10-26页 |
| ·Petri网的发展 | 第10-12页 |
| ·Petri网理论研究背景 | 第12-13页 |
| ·国内外的Petri网的理论研究成果 | 第13-17页 |
| ·Petri网的应用 | 第17-23页 |
| ·Petri网理论研究的分析技术 | 第23-24页 |
| ·Petri网工具研制 | 第24-25页 |
| ·本文的主要内容及结构 | 第25-26页 |
| 第二章 基本概念和术语 | 第26-34页 |
| ·Petri网理论的基本概念 | 第26-28页 |
| ·Petri网系统以及几个特殊的子类 | 第28-30页 |
| ·Petri网的动态性质 | 第30-31页 |
| ·Petri网的结构性质 | 第31-32页 |
| ·Petri网的分析方法 | 第32-34页 |
| 第三章 关于C/E系统的冲突检测算法 | 第34-40页 |
| ·本章相应的概念 | 第34-36页 |
| ·C/E系统中冲突的判定及算法 | 第36-38页 |
| ·算法复杂的时间复杂度分析 | 第38-39页 |
| ·本章的贡献与需进一步研究的工作 | 第39-40页 |
| 第四章 关于P/T系统中冲突的讨论 | 第40-49页 |
| ·基本概念及结论 | 第40-43页 |
| ·P/T系统中冲突的判定 | 第43-48页 |
| ·本章的贡献与需进一步研究的工作 | 第48-49页 |
| 第五章 一般网中结构公平的极小标识的求解算法 | 第49-59页 |
| ·公平性概念的背景 | 第49-51页 |
| ·基本概念及结论 | 第51-52页 |
| ·基于极小支集的公平外延子网的构造 | 第52-54页 |
| ·结构公平网极小标识的配置 | 第54-55页 |
| ·算法实例子 | 第55-58页 |
| ·本章的贡献与需进一步研究的工作 | 第58-59页 |
| 第六章 结论 | 第59-61页 |
| 参考文献 | 第61-68页 |
| 攻读硕士学位期间完成的论文 | 第68-70页 |
| 致谢 | 第70页 |
