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

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

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