自動小車存取系統(tǒng)的雙重著色動態(tài)賦時Petri網(wǎng)建模與實現(xiàn).pdf

1、自動小車存取系統(tǒng)(AVS/RS)是自動化立體倉庫未來的主要發(fā)展方向，是柔性制造系統(tǒng)不可或缺的重要組成部分。 本文以AVS/RS為研究對象，根據(jù)AVS/RS的物理結(jié)構(gòu)和邏輯特征，在Petri網(wǎng)的基礎(chǔ)上，提出了一種新的建模方法——雙重著色動態(tài)賦時Petri網(wǎng)(DCDT-PN)，在該方法中，引入了雙重著色的概念，使得對系統(tǒng)模型的描述在宏觀物理結(jié)構(gòu)的角度上能對相同結(jié)構(gòu)的系統(tǒng)模型進行簡化，又能在微觀上刻畫每個庫所的動態(tài)屬性，保證系統(tǒng)的屬性

2、信息完整性。另外，考慮系統(tǒng)的動態(tài)特性，引入動態(tài)賦時描述系統(tǒng)活動資源的控制過程。在詳細分析AVS/RS資源行為的基礎(chǔ)上，采用模塊化思想構(gòu)建AVS/RS的DCDT-PN動態(tài)模型。 在系統(tǒng)DCDT-PN模型的基礎(chǔ)上，本文結(jié)合有向圖工具，研究了模型中的環(huán)路(環(huán)路鏈)死鎖現(xiàn)象，提出了系統(tǒng)無死鎖的充要條件，并在此基礎(chǔ)之上分析了死鎖避免控制策略和控制算法。針對死鎖控制的關(guān)鍵問題——環(huán)路(環(huán)路鏈)識別，文中對其進行了分析，并給出了其具體的實現(xiàn)方