封面
声明
中文摘要
英文摘要
目录
引 言
1.1 研究背景及意义
1.2 Petri 网的发展历史
1.3 Petri 网的研究现状
1.4 研究内容
2 基本概念和术语
2.1 基本定义
2.2 原型 Petri 网系统的子类
2.3 网系统的结构及行为特征
2.4 Petri 网系统的不变量
3 基于扩展有色Petri网的Gnutella文件共享系统的建模与优化
3.1 基本概念
3.2 Gnutella 文件共享网络 Petri 网模型
4 基于 Petri 网的文件传输的建模与分析
4.1 基本概念
4.2 问题的描述与模型的建立
4.3 模型的验证和分析
结语
参考文献
攻读硕士学位期间发表的论文及科研成果
致谢