作為近年來出現的一種死鎖預防策略,區(qū)域理論對網系統設計控制器時可以使系統獲得最大許可行為。但是隨著網規(guī)模的擴大,可達標識增多,會帶來求解線性規(guī)劃次數過多,算法復雜和狀態(tài)爆炸的問題。 在本文中,首先對Petri網系統產生完整的可達圖,應用區(qū)域理論來設計添加的控制庫所,找到每一個控制庫所需要滿足的可達條件、循環(huán)等式和事件分離條件。然后結合普通網的特點,改善事件分離條件的限制形式,并從中求取一組基本事件分離條件,對這組基本事件分離條件對應的分離事例求解得到網系統的一組控制庫所。最后,通過去除冗余控制庫所得到結構簡單且狀態(tài)最大許可的活性監(jiān)督控制器。并用實例證明了,該方法可以有效降低區(qū)域算法的復雜度。這種優(yōu)化的算法在一定程度上改善了由狀態(tài)爆炸引起的求解線性規(guī)劃次數指數級遞增的問題;證明了任何普通網系統需要添加的控制庫所的數量不超過事件分離事例個數和︱T︱+1中的最小者。通過文中給出的算法,最終獲得結構簡單、狀態(tài)最大許可的柔性制造系統活性監(jiān)督控制器。
【學位單位】：西安電子科技大學
【學位級別】：碩士
【學位年份】：2010
【中圖分類】：TH165
【部分圖文】：

第二章 Petri 網的基本理論與系統建模 supervisor）。若這樣的外部控制體表現為 Petri 網,則稱為 Petri 網監(jiān)督控制器簡稱控制器。這樣的控制器一般是由控制庫所、連接弧和變遷構成的。控的作用是保證系統行為能夠滿足控制需求�？刂破髦凶冞w的集合是網模型合的子集。由網模型和控制器通過同步復合（合成）得到的滿足給定控制系統稱為受控系統。在這種情況下,受控系統也表現為 Petri 網。在Petri網理論體系下,若系統的模型及其控制器都表現為Petri網,受控系系統的網模型和其控制器通過共享變遷的同步復合而得到的 Petri 網。如圖示。

圖 5.2 一個 FMS 單元的控制器模型表 5.1 FMS 網模型的 40 個事件分離事例例 序號 分離事例 序號 分離事例 序號 分離事例 序號 t8) 9 (M37, t8) 17 (M67, t2) 25 (M94, t3) 33 t8) 10 (M37, t9) 18 (M68, t2) 26 (M103, t3) 34 t8) 11 (M38, t8) 19 (M69, t2) 27 (M104, t2) 35 t9) 12 (M41, t8) 20 (M73, t2) 28 (M104, t3) 36 t8) 13 (M42, t8) 21 (M75, t2) 29 (M108, t3) 37 t9) 14 (M48, t8) 22 (M76, t3) 30 (M109, t2) 38 t8) 15 (M53, t2) 23 (M92, t3) 31 (M109, t3) 39 t9) 16 (M65, t2) 24 (M93, t3) 32 (M112, t8) 40
【參考文獻】

相關期刊論文 前3條

1 韋娜;趙咪;閆明明;;基于Petri網的無死鎖控制器設計[J];計算機科學;2008年11期

2 李志武,王安榮,賈建援;Petri網不變式和狀態(tài)方程的求解[J];西安電子科技大學學報;2003年02期

3 趙咪;李志武;;一類離散事件系統的非阻塞監(jiān)督控制器設計[J];西安電子科技大學學報;2006年05期

相關碩士學位論文 前1條

1 王國鋒;一種基于區(qū)域法的死鎖預防優(yōu)化策略[D];西安電子科技大學;2009年

本文編號：2863991