摘要 | 第1-5页 |
Abstract | 第5-7页 |
1 引言 | 第7-16页 |
·研究背景及意义 | 第7-8页 |
·Petri 网的发展历史 | 第8-10页 |
·Petri 网的研究现状 | 第10-15页 |
·模型的扩展 | 第10-13页 |
·Petri 网的分析技术 | 第13-15页 |
·本文的主要内容及结构 | 第15-16页 |
2 Petri 网的基础知识 | 第16-26页 |
·Petri 网及网系统的基本概念 | 第16-19页 |
·网系统中事件的几个关系 | 第19-20页 |
·Petri 网系统的不变量 | 第20-23页 |
·网系统分类 | 第23页 |
·网的结构和行为特征 | 第23-26页 |
3 基于Petri 网下对哲学家就餐问题的分析 | 第26-34页 |
·基本概念 | 第27-31页 |
·模型的改进与推广 | 第31-34页 |
4 基于Petri 网下对通信信道复用的建模应用 | 第34-41页 |
·基本概念 | 第35页 |
·问题描述及建模 | 第35-38页 |
·模型的分析 | 第38-41页 |
结论 | 第41-42页 |
参考文献 | 第42-45页 |
攻读硕士学位期间发表的论文及科研成果 | 第45-46页 |
致谢 | 第46-47页 |