基于一類Petri Net模型的初始狀態(tài)配置與死鎖檢測.pdf

1、模型的建立是使用PetriNet對柔性制造系統(tǒng)(FMS)進(jìn)行控制，確認(rèn)，性能分析和仿真的第一步。本文將一個子類L-S3PR網(wǎng)中的活性性質(zhì)進(jìn)行了推廣，并提出了一種用于檢測一類更大范圍網(wǎng)模型S3PR中是否存在死鎖的線性算法。本文介紹了資源回路的概念和如何從網(wǎng)結(jié)構(gòu)中獲得資源回路，進(jìn)而從資源回路導(dǎo)出信標(biāo)的方法。證明了從資源回路導(dǎo)出的一個極小信標(biāo)如果不含有任何P不變式的支撐，則它不是一個潛在的死鎖。只有在系統(tǒng)運(yùn)行中可被清空的極小信標(biāo)才是系統(tǒng)不活的

2、真正原因。 除了結(jié)構(gòu)，網(wǎng)模型不恰當(dāng)?shù)某跏紭?biāo)識也會導(dǎo)致死鎖。在設(shè)計和調(diào)整網(wǎng)模型時，根據(jù)約束條件來重新配置初始標(biāo)識，使網(wǎng)模型無死鎖的方法也結(jié)合實(shí)例在本文中做了詳細(xì)介紹。對于S3PR(L-S3PR)網(wǎng)模型，給出了閑置庫所與資源庫所中托肯數(shù)之間的合適關(guān)系。所以，在不改變網(wǎng)結(jié)構(gòu)的前提下，系統(tǒng)可以被快速重新配置，以適應(yīng)需求的變化。這使得柔性制造系統(tǒng)的敏捷性得以保證。 此外，本文還提出了一種用于死鎖預(yù)防策略的正確算法。在這類系統(tǒng)的Pe