S4PR網(wǎng)的虹吸受控條件及其應(yīng)用.pdf

1、在典型的資源分配系統(tǒng)中，生產(chǎn)流程互相等待彼此占有的資源會(huì)導(dǎo)致系統(tǒng)死鎖，進(jìn)而造成生產(chǎn)的停滯和系統(tǒng)開銷上升，使系統(tǒng)性能嚴(yán)重惡化。Petri網(wǎng)是資源分配系統(tǒng)的主要建模工具之一。其中，S4PR網(wǎng)是一類具有良好的建模能力的Petri網(wǎng)子類，基于S4PR網(wǎng)的死鎖控制理論是近年來研究的熱點(diǎn)。通過控制虹吸使S4PR網(wǎng)保持活性的死鎖預(yù)防方法是S4PR網(wǎng)的主要死鎖控制策略之一。由于這類方法基于較為嚴(yán)格的虹吸受控條件來設(shè)計(jì)控制器，導(dǎo)致最終的受控系統(tǒng)行為允許度

2、不高，在實(shí)際上表現(xiàn)為資源利用率低下。因此S4PR網(wǎng)的虹吸受控理論還有待完善?；谶@一點(diǎn)，本文研究了S4PR網(wǎng)的虹吸受控條件及其應(yīng)用，完成的工作主要分成以下兩部分：
　　 (1)首先研究了S4PR網(wǎng)的虹吸受控問題。在現(xiàn)有虹吸受控條件的基礎(chǔ)上，提出了兩類改進(jìn)的具有更高允許度的虹吸受控條件-maxⅢ和maxⅣ-受控條件，并證明了當(dāng)一個(gè)S4PR網(wǎng)的所有虹吸都滿足maxⅢ或maxⅣ-受控時(shí)，它能夠保持活性。與之前的受控條件相比，這兩類控制

3、條件有效拓寬了虹吸受控的限制。
　　 (2)在maxⅢ和maxⅣ-受控條件的基礎(chǔ)上，進(jìn)一步擴(kuò)展了研究內(nèi)容，提出了兩種新型的基于MIP的S4PR網(wǎng)虹吸尋找算法。對輸入的S4PR網(wǎng)搜索狀態(tài)空間，針對特定的狀態(tài)通過求解MIP問題，來獲取該狀態(tài)下非maxⅢ-標(biāo)識(shí)或maxⅣ-標(biāo)識(shí)的一個(gè)虹吸。應(yīng)用實(shí)例結(jié)果證明，這兩類算法的計(jì)算效率相比現(xiàn)有算法有較大地提升，并且能剔除一部分并不需要添加控制器的虹吸，從而減少控制冗余，提高受控系統(tǒng)允許度。