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

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

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

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