1、Petri網(wǎng)的死鎖問題一直是Petri網(wǎng)研究的重要課題。死鎖是柔性制造系統(tǒng)控制器設計時必須要考慮和解決的問題。對一個Petri網(wǎng)模型而言，找到死鎖標識，并且利用一定的方法對含有死鎖標識的庫所進行控制，使得系統(tǒng)不會出現(xiàn)死鎖，是一種很好的控制策略。
　　 本文針對Petri網(wǎng)建模的并發(fā)系統(tǒng)中的死鎖問題，利用可達標識樹的死鎖檢測算檢測系統(tǒng)死鎖的存在，結(jié)合Petri網(wǎng)控制器的設計來達到預防和避免死鎖的目的。同時，Petri網(wǎng)系統(tǒng)中存在不

2、可控變遷的情況下，如何進行控制器設計問題。本文利用等價線性變換的約束轉(zhuǎn)換算法，把禁止約束轉(zhuǎn)化為允許約束，從而構(gòu)造出一個新的混合約束。然后在這個混合約束的條件下進行控制器設計，使得系統(tǒng)能避免死鎖。主要做了以下工作：
　　 1.提出了一種改進的可達標識樹的死鎖檢測算法，從而得到死鎖標識和含有死鎖標識的庫所。
　　 2.提出了一種新的混合約束構(gòu)造方法。利用死鎖檢測算法得到的死鎖標識和含有死鎖標識的庫所，結(jié)合死鎖產(chǎn)生的原因，構(gòu)造