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

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

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

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