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

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

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

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