基于Petri网的并行分布计算中的调度问题的研究

声明	第1页
AFFIRMATION	第4-5页
摘要	第5-6页
Abstract	第6-11页
1 绪论	第11-15页
·课题的提出	第11页
·并行分布计算中的调度问题的分类	第11-13页
·本文的内容安排	第13-15页
2 Petri网的基本知识	第15-25页
·Petri网基本概念	第15-18页
·Petri网的动态性质	第18-21页
·Petri网的分析方法	第21-23页
·Petri网的结构性质	第23-25页
3 任务图的分割	第25-36页
·图论中相关定义及定理	第25-27页
·求连通图G的断集空间的基本步骤	第27页
·图的启发式分割算法	第27-33页
·例子	第33-36页
4 任务图Petri网模型的建模	第36-49页
·资源控制网的合成	第36-42页
·任务序网与资源合成网的合成	第42-43页
·分块任务Petri网的合成	第43-46页
·任务图Petri网模型的建模步骤	第46-47页
·连接合成网与同步合成网的关系	第47-49页
5 同步合成Petri网的同步可达图	第49-63页
·同步可达图的定义	第49-54页
·同步可达图的构造算法	第54-62页
·同步可达图的性质	第62-63页
6 基于LRG、SRG的调度	第63-73页
·时间因素	第63-67页
·调度方法	第67-73页
7 结束语	第73-74页
致谢	第74-75页
参考文献	第75-81页
在读期间学习经历与研究成果	第81-82页
中文详细摘要	第82-90页