1、本文致力于柔性制造系統(tǒng)的死鎖預防問題研究。基于關鍵標識、集合覆蓋、信標選擇的死鎖控制算法綜合考慮了極小信標與可達標識之間的關系，從而可以獲得結構相對簡單，許可行為較多的活性Petri網(wǎng)控制器。由于同時考慮了信標與標識之間的關系，使得計算更加復雜，因為嚴格極小信標和可達標識的求取以及集合覆蓋問題的計算復雜度理論上都是與網(wǎng)規(guī)模呈指數(shù)關系的。本文從兩個方面對該算法加以改進，提出了一種基于信標選擇的死鎖預防的優(yōu)化策略。優(yōu)化的目的在于簡化上述算法

2、中的計算過程。
　　 首先，本文提出改進的信標求取算法。利用符號關聯(lián)矩陣求取信標存在重復計算的問題。對此，改進的算法在尋找符合構成信標條件的庫所時增加了判定條件，可以避免一些信標的重復計算。這個改進對尋找信標以及后續(xù)的極小性判斷都是有利的，文中給出了理論證明。其次，在死鎖策略方面，將可達標識中的非法標識與合法標識分離，從而將關鍵標識的求取范圍縮小到非法標識集合內，這樣在獲取信標的清空方式時的計算量將大大減少。最后通過實例對所給出