文摘
英文文摘
第一章绪论
第一节机群及其通信
第二节Petri网概况
第三节目前国内的研究状况
第四节本文工作
第二章Petri网及其应用
第一节Petri网及其解析方法
第二节基于Petri网的形式技术
第三节Petri网在网络中的应用
结语
第三章传输协议
第一节停-等协议
第二节Petri网在传输协议中的应用
结语
第四章虚拟接口体系结构
第一节虚拟接口
第二节Myrinet
第三节Berkeley模型
结语
第五章Petri网模型及性能分析
第一节可达标识图
第二节随机Petri网(SPN)模型的性能分析
结语
结束语
致谢
参考文献