Petri網(wǎng)在網(wǎng)絡(luò)性能評價(jià)中的研究與應(yīng)用.pdf

1、P缸網(wǎng)是可以應(yīng)用到很多系統(tǒng)和領(lǐng)域的圖形和數(shù)學(xué)模型工具。Petri網(wǎng)以其簡捷、直觀、潛在模擬能力強(qiáng)等特點(diǎn)被廣泛用于離散事件系統(tǒng)的模擬和分析中。Petri網(wǎng)的主要特點(diǎn)包括：并行性、不確定性、異步性、分布描述能力和分析能力。活性(【,iveness)、有界性∞0undedlless，又稱為n.安全性(N.safeness))、家態(tài)(Home.state)、公平性等性質(zhì)是Pe伍網(wǎng)的系統(tǒng)分析中最重要的幾個(gè)性質(zhì)。自Petri網(wǎng)的概念形成以來，有關(guān)這

2、些性質(zhì)的研究就非?；钴S。 隨著計(jì)算機(jī)科學(xué)和技術(shù)的發(fā)展，計(jì)算機(jī)應(yīng)用和計(jì)算機(jī)網(wǎng)絡(luò)不斷普及和深入，人們越來越感到計(jì)算機(jī)網(wǎng)絡(luò)系統(tǒng)性能評價(jià)在社會技術(shù)進(jìn)步中的重要性。計(jì)算機(jī)網(wǎng)絡(luò)性能評價(jià)的研究目的主要有三個(gè)：選擇、改進(jìn)和設(shè)計(jì)。性能評價(jià)的方法大致可以分為兩類：測量方法和模型方法。而模型方法具有測量方法無法比的優(yōu)點(diǎn)。性能分析方法傳統(tǒng)上采用排隊(duì)論數(shù)學(xué)理論來解決系統(tǒng)的描述問題，數(shù)學(xué)求解的基礎(chǔ)是馬爾可夫隨機(jī)過程。80年代初，隨機(jī)Petri網(wǎng)的提出為系統(tǒng)

3、性能分析又提供了一個(gè)新的數(shù)學(xué)描述工具。清華大學(xué)林闖教授的工作最具代表性。 本文中采用模型方法，利用P廠r網(wǎng)、有色網(wǎng)和自控網(wǎng)為工具來分析計(jì)算機(jī)網(wǎng)絡(luò)性能。文中的研究是從分析、模擬與驗(yàn)證等方面展開的。結(jié)合實(shí)際應(yīng)用環(huán)境，進(jìn)行了較為深入細(xì)致的研究，對實(shí)際問題建模。隨后，利用結(jié)構(gòu)性分析、化簡技術(shù)對模型修改與完善。最后利用不變技術(shù)等驗(yàn)證模型的主要行為特征；對實(shí)際問題的處理結(jié)果，得到了一些新的結(jié)論。主要工作包括以下內(nèi)容： (1)發(fā)送者一

4、接收者問題(簡稱S-R問題)可以看作處理共享通道的一個(gè)有代表性的問題。結(jié)合Peru網(wǎng)的特點(diǎn)和網(wǎng)絡(luò)環(huán)境下的系統(tǒng)，給出了一個(gè)實(shí)用性更強(qiáng)、功能擴(kuò)展的S-R問題的P嘶網(wǎng)模型。 (2)擴(kuò)展的選擇重傳協(xié)議的Petri網(wǎng)研究與建模問題。此雙重重傳技術(shù)能夠保證網(wǎng)絡(luò)通訊的及時(shí)性和可靠性。最后對模型進(jìn)行了驗(yàn)證。 (3)基于有色自控網(wǎng)的電梯系統(tǒng)問題。在分析電梯系統(tǒng)的有色網(wǎng)模型以及結(jié)合電梯系統(tǒng)的需求的基礎(chǔ)上，提出了帶有色約束弧的有色自控網(wǎng)。最后