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

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

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

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