《基於PETRI網基本信標的自動製造系統死鎖控制研究》是依託西安電子科技大學，由李志武擔任項目負責人的面上項目。
基本介紹
- 中文名：基於PETRI網基本信標的自動製造系統死鎖控制研究
- 項目類別：面上項目
- 項目負責人：李志武
- 依託單位：西安電子科技大學
- 批准號：60474018
- 申請代碼：F0301
- 負責人職稱：教授
- 研究期限：2005-01-01 至 2007-12-31
- 支持經費：22（萬元）
中文摘要
近十多年來,隨著柔性製造和靈捷製造等先進生產模式的普遍套用,自動製造系統中死鎖和阻塞往往會引起災難性的後果,因而死鎖的研究受到了廣泛關注.對系統死鎖的有效處理成為獲得高生產率和經濟效益的關鍵問題.圖論、自動機和Petri網是研究系統死鎖的主要方法,其中以Petri網方法最為廣泛.本項目擬基於申請者提出的Petri網的基本信標理論,深入研究高度資源共享、高度自動化以及資源故障、資源動態配置等複雜控制需求下的自動製造系統的死鎖預防(Deadlock Prevention,而非Avoidance) 策略.主要內容有：Petri的基本信標理論；活性Petri網監督控制器的存在性研究；複雜控制需求下的活性Petri網監督控制器的設計理論與方法體系研究以及Petri網控制器的結構與行為最佳化問題. 本項目的研究, 對於一般離散事件系統監督控制理論同樣具有重要意義和價值.
