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

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

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

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