制造系統(tǒng)中死鎖問題研究.pdf

1、該文針對制造系統(tǒng)中的死鎖問題,從制造系統(tǒng)的調(diào)度和控制著手,運(yùn)用Petri網(wǎng),自動(dòng)機(jī),通訊順序進(jìn)程對制造系統(tǒng)建模,結(jié)合遺傳算法,銀行家算法以及符號模型檢查等形式化的方法對無死鎖調(diào)度,死鎖預(yù)防,死鎖避免進(jìn)行了研究.該文的主要工作包括:1.提出了一種在制造系統(tǒng)中搜索最優(yōu)的無死鎖調(diào)度的算法.此算法是建立在遺傳算法的基礎(chǔ)上,通過引入形式化的Petri網(wǎng)結(jié)構(gòu)來保證無死鎖的調(diào)度結(jié)果.2.提出了一種基于時(shí)態(tài)Petri網(wǎng)和符號模型檢查的死鎖預(yù)防策略:根據(jù)

2、時(shí)態(tài)Petri網(wǎng)的結(jié)構(gòu)分析來組織模型檢查中的規(guī)范,符號模型檢查用來執(zhí)行形式化的驗(yàn)證,這種驗(yàn)證將會(huì)對系統(tǒng)所有可能的行為進(jìn)行檢查,即運(yùn)用時(shí)態(tài)Petri網(wǎng)的結(jié)構(gòu)分析來加強(qiáng)符號模型檢查的問題描述能力.3.對銀行家算法進(jìn)行改進(jìn).對制造系統(tǒng)采用形式化的建模方法,將系統(tǒng)的模型轉(zhuǎn)換成適合進(jìn)行模型檢查的形式.運(yùn)用SPIN來對此算法進(jìn)行仿真,并驗(yàn)證此算法模型的正確性.4.提出了一種FMS的建模方法,此方法是基于時(shí)間自動(dòng)機(jī)模型.5.提出了一種FMS的集成設(shè)計(jì)