基于Petri网的一类并发程序死锁预防策略

致谢	第1-5页
摘要	第5-6页
Abstract	第6-8页
目次	第8-9页
第一章 绪论	第9-13页
·Petri网及并发程序概述	第9-10页
·Petri网死锁控制研究现状	第10-12页
·本文的研究内容和组织结构	第12-13页
第二章 Petri网基础理论	第13-20页
·Petri网概念	第13-16页
·Petri网子类	第16-19页
·S-图	第16-17页
·NV~+网	第17-19页
·小结	第19-20页
第三章 S~3PS网死锁预防策略	第20-29页
·S~3PS网的定义和活性分析	第20-22页
·S~3PS网的死锁预防策略设计	第22-26页
·S~3PS网死锁预防策略的应用	第26-28页
·小结	第28-29页
第四章 S~3PRS网极小虹吸计算方法	第29-45页
·S~3PRS网的定义	第29-31页
·S~4PR网的极小虹吸计算方法	第31-34页
·S~3PRS网三类极小虹吸的计算方法	第34-42页
·S~3PRS网极小虹吸计算方法的应用	第42-44页
·小结	第44-45页
第五章 S~3PRS网死锁预防策略	第45-56页
·S~3PRS网的的活性分析	第45-46页
·S~3PRS网的死锁预防策略设计	第46-52页
·S~3PRS网死锁预防策略的应用	第52-55页
·小结	第55-56页
第六章 总结与展望	第56-58页
·总结	第56-57页
·展望	第57-58页
参考文献	第58-62页
作者简历及在读硕期间取得的成果	第62页