基于Petri網(wǎng)分解的自動化物流系統(tǒng)控制系統(tǒng)研究.pdf

1、本文以我校學科群實驗中心的自動化物流系統(tǒng)為研究平臺，針對該物流系統(tǒng)的任務規(guī)劃提出了一種新的Petri網(wǎng)分解方法，對所建的物流系統(tǒng)的Petri網(wǎng)模型∑進行分解，分析判斷出此物流系統(tǒng)的任務規(guī)劃合理有效可避免死鎖。在此結(jié)論的基礎(chǔ)上，完成了我校自動化物流系統(tǒng)的控制系統(tǒng)開發(fā)，實現(xiàn)了出庫和移庫功能。
　　 論文介紹并分析了我校學科群實驗中心自動化物流系統(tǒng)的硬件組成。在了解了各核心部分結(jié)構(gòu)和參數(shù)的基礎(chǔ)上采用Petri網(wǎng)理論對該物流系統(tǒng)建立Pe

2、tri網(wǎng)模型∑，并對該模型各要素給出了定義。
　　 針對自動化物流系統(tǒng)的任務規(guī)劃，提出一種新的Petri網(wǎng)分解方法——基于變遷指標和庫所指標融合的Petri網(wǎng)分解方法。推導出了最小子網(wǎng)和原Petri網(wǎng)之間的可重復性和有界性之間的關(guān)系，提出并證明一些相應的推論。對所建立的Petri網(wǎng)模型∑先進行基于變遷指標的分解得出物理含義明確的子網(wǎng)，再采用基于庫所指標的分解得到融合了T網(wǎng)和S網(wǎng)特性的最小子網(wǎng)。通過分析該最小子網(wǎng)，得出Petri網(wǎng)

3、模型的活性和有界性，據(jù)此推斷出物流系統(tǒng)的任務規(guī)劃合理有效。該方法大大減少了直接分析子網(wǎng)或原Petri網(wǎng)模型的計算量，可避免全局或局部死鎖，為系統(tǒng)良好運行提供了依據(jù)。
　　 以物流系統(tǒng)Petri網(wǎng)模型的分析結(jié)果為依據(jù)，通過設(shè)計數(shù)據(jù)庫、設(shè)計操作界面、根據(jù)所建立的Petri網(wǎng)模型∑開發(fā)出庫移庫功能的軟件完成了該物流系統(tǒng)的控制系統(tǒng)開發(fā)。經(jīng)過多次現(xiàn)場調(diào)試及實驗證明本文所開發(fā)的自動化物流系統(tǒng)的控制系統(tǒng)能夠正常有效的運行。堆垛機能夠準確的執(zhí)行