基于Petri網(wǎng)的文件傳輸?shù)膸讉€(gè)關(guān)鍵技術(shù)研究.pdf

1、大型系統(tǒng)的設(shè)計(jì)應(yīng)該采用形式化(Formal Methods)的方法。形式化方法是建立在嚴(yán)格數(shù)學(xué)基礎(chǔ)上，具有精確數(shù)學(xué)語義的開發(fā)方法。形式化技術(shù)具有改善系統(tǒng)開發(fā)質(zhì)量和提高工程效率的潛能，在系統(tǒng)的開發(fā)過程中具有十分重要的作用。
　　Petri網(wǎng)特別適合描述系統(tǒng)順序、并發(fā)、沖突以及同步等現(xiàn)象。作為一種系統(tǒng)的描述工具，Petri網(wǎng)不僅可以刻畫系統(tǒng)的靜態(tài)結(jié)構(gòu)，而且可以分析系統(tǒng)的動(dòng)態(tài)行為。Petri網(wǎng)既有直觀的圖形表示，又有深刻的數(shù)學(xué)內(nèi)涵和基礎(chǔ)

2、，可以利用許多數(shù)學(xué)的方法對模型驗(yàn)證，所以，Petri網(wǎng)是形式化大型系統(tǒng)開發(fā)的有效工具之一。
　　并發(fā)是計(jì)算機(jī)網(wǎng)絡(luò)的基本特性，網(wǎng)絡(luò)中的節(jié)點(diǎn)可能會(huì)頻繁地傳輸文件數(shù)據(jù)，這些文件傳輸?shù)捻樞蚴菬o法確定的，文件傳輸?shù)馁Y源調(diào)度是一項(xiàng)有意義的工作。本文對Gnutella文件共享系統(tǒng)以及并行文件傳輸分別提出了可行的解決方案：
　?。?）采用擴(kuò)展有色Petri網(wǎng)構(gòu)建了一個(gè)Gnutella文件共享系統(tǒng)模型，很好的實(shí)現(xiàn)了一對一、一對多模型的消息處理

3、和數(shù)據(jù)處理。然后，應(yīng)用CPN Tools工具對其服務(wù)流程進(jìn)行模擬仿真，并分析系統(tǒng)的行為。最后，針對多個(gè)節(jié)點(diǎn)擁有同一文件以及節(jié)點(diǎn)的頻繁離線情況，將節(jié)點(diǎn)的帶寬和節(jié)點(diǎn)的傳輸服務(wù)質(zhì)量綜合考慮提出了一種帶優(yōu)先級(jí)的并行文件傳輸方案，從而有效降低節(jié)點(diǎn)離線情況帶來的影響，減少文件傳輸時(shí)間，并能有效實(shí)現(xiàn)系統(tǒng)整體的負(fù)載均衡，提高系統(tǒng)的整體性能。
　　（2）采用Petri網(wǎng)對并行文件傳輸?shù)倪^程進(jìn)行建模，將時(shí)間作為變遷發(fā)生的一種消耗性資源，可以直觀的描述