基于Petri網(wǎng)的無(wú)線自動(dòng)售貨機(jī)系統(tǒng)建模與應(yīng)用研究.pdf

1、無(wú)線自動(dòng)售貨機(jī)系統(tǒng)通過(guò)無(wú)線網(wǎng)絡(luò)實(shí)現(xiàn)了對(duì)自動(dòng)售貨機(jī)的遠(yuǎn)程控制、銷(xiāo)售信息的查詢和反饋、缺貨和故障信息的自動(dòng)處理。該系統(tǒng)屬于離散事件動(dòng)態(tài)系統(tǒng)，其特點(diǎn)在于系統(tǒng)中的狀態(tài)演化是由事件驅(qū)動(dòng)的。Petri網(wǎng)是一種以圖形形式研究系統(tǒng)組織結(jié)構(gòu)和動(dòng)態(tài)特性的理論，是分析具有并行、異步、同步、資源共享、隨機(jī)等特征的系統(tǒng)的有力工具，已經(jīng)成為在邏輯層次上對(duì)離散事件動(dòng)態(tài)系統(tǒng)進(jìn)行建模和分析的主要方法之一。 本文將Petri網(wǎng)建模技術(shù)應(yīng)用到無(wú)線自動(dòng)售貨機(jī)系統(tǒng)的建模

2、和應(yīng)用研究中，分別對(duì)系統(tǒng)的交易流程和物流配送過(guò)程建立了它們的Petri網(wǎng)模型。對(duì)無(wú)線自動(dòng)售貨機(jī)系統(tǒng)的交易流程的建模采用自頂向下的建模方法，首先建立系統(tǒng)的主要活動(dòng)模塊的頂層Petri網(wǎng)模型，然后采用三種不同連續(xù)關(guān)系的Petri網(wǎng)模型對(duì)這些模塊進(jìn)行細(xì)化，最終得出無(wú)線自動(dòng)售貨機(jī)系統(tǒng)完整的Petri網(wǎng)模型，并在HPSIM工具上執(zhí)行。為了能夠?qū)o(wú)線自動(dòng)售貨機(jī)系統(tǒng)物流配送過(guò)程進(jìn)行建模，本文定義了一種帶抑制弧的時(shí)延Petri網(wǎng)模型，在一定的實(shí)際配送環(huán)

3、境下建模系統(tǒng)的物流配送過(guò)程，考慮到績(jī)效分析的需要，還對(duì)傳統(tǒng)方式的自動(dòng)售貨機(jī)系統(tǒng)的物流配送過(guò)程建立了含有時(shí)間因素的Petri網(wǎng)模型。在不同的缺貨情況下同時(shí)模擬兩種系統(tǒng)物流配送過(guò)程的運(yùn)行，比較兩者的時(shí)間性能指標(biāo)。 本文為系統(tǒng)復(fù)雜的交易流程建立了精確的Petri網(wǎng)模型描述，使系統(tǒng)的開(kāi)發(fā)人員、監(jiān)控人員和維護(hù)人員對(duì)系統(tǒng)形成了一致的準(zhǔn)確的理解，為系統(tǒng)的分析和改進(jìn)打下良好基礎(chǔ)。同時(shí)對(duì)系統(tǒng)物流配送過(guò)程的建模將無(wú)線系統(tǒng)的效率改進(jìn)進(jìn)行量化，從而實(shí)現(xiàn)