|
|||||
|
|
| 基于Petri网的带宽共享系统设计 | |
| 作者单位： | ;1.西华大学计算机与软件工程学院 |
| 摘 要： | 针对局域内网单台计算机下载外网资源速度慢的问题,本文以Petri网为系统逻辑设计工具,提出一种基于P2P(Peer to Peer)分布式结构的外网带宽共享协议。该协议指定内网多台计算机在外网下载所需文件的不同片段,再由局域内网传输给任务发起者所属计算机进行原文件整合。协议充分利用多台计算机的并行下载能力以及局域内网的快速传输能力,从逻辑层面提高了单台计算机的下行带宽。本文进一步通过基于Petri网的可达标志图,S_不变量和流程图方法对协议的逻辑正确性和行为许可性进行了验证。 |
| 关 键 词： | Petri网 P2P网络 网络加速 带宽共享 文件传输协议 分布式 |
Design of Bandwidth Sharing System based on Petri net |
|
| Abstract: | |
| Keywords: | |