基于Petri網(wǎng)的帶寬共享協(xié)議建模與驗證研究.pdf

1、Petri網(wǎng)(Petri Net)是一種重要的形式化建模分析和驗證工具，有別于其它建模工具，具有圖形化特征和嚴格的數(shù)學(xué)分析雙重能力。對于多數(shù)的離散異步并發(fā)系統(tǒng)，Petri網(wǎng)能夠很好地進行構(gòu)建分析。經(jīng)過半個多世紀的成長，從原型Petri網(wǎng)衍生的高級Petri網(wǎng)。應(yīng)用于很多領(lǐng)域。
　　網(wǎng)絡(luò)資源的下載速度和種類是衡量用戶網(wǎng)絡(luò)體驗的重要指標，內(nèi)網(wǎng)（局域網(wǎng)）具有網(wǎng)內(nèi)傳輸速度快但資源缺乏的特點，外網(wǎng)（廣域網(wǎng)）資源豐富但無法突破網(wǎng)絡(luò)服務(wù)商提供的

2、帶寬?？蓪鹘y(tǒng)的網(wǎng)絡(luò)文件傳輸機制分為外網(wǎng)和內(nèi)網(wǎng)的文件傳輸，大都只能顧此失彼：外網(wǎng)下載資源存在部分計算機下載速度慢而同時若干計算機閑置的尷尬；內(nèi)網(wǎng)資源相對缺乏。即使是結(jié)合內(nèi)外網(wǎng)兩種環(huán)境的傳輸機制（如局域網(wǎng)中帶寬更大的服務(wù)器先從外網(wǎng)下載文件，普通計算機再通過傳輸速度更快的局域網(wǎng)環(huán)境從服務(wù)器中獲取文件，以此來提高文件的下載速度，此方法可以稱為代理加速）存在服務(wù)器端的下載瓶頸。設(shè)計一種在現(xiàn)有硬件環(huán)境下能夠兼顧資源豐富和下載速度快兩大優(yōu)點的網(wǎng)絡(luò)文

3、件傳輸協(xié)議是一個值得研究的課題。
　　針對局域網(wǎng)單臺計算機下載外網(wǎng)資源速度慢的問題，本文以Petri網(wǎng)為系統(tǒng)邏輯設(shè)計工具，提出一種基于P2P（Peer to Peer）分布式結(jié)構(gòu)的外網(wǎng)帶寬共享協(xié)議。該協(xié)議指定內(nèi)網(wǎng)多臺計算機在外網(wǎng)下載所需文件的不同片段，再由局域網(wǎng)傳輸給任務(wù)發(fā)起者所屬計算機進行原文件整合。協(xié)議充分利用多臺計算機的并行下載能力以及局域網(wǎng)的快速傳輸能力，從理論層面提高了單臺計算機的下行帶寬。本文進一步通過基于Petri網(wǎng)