《複雜柔性製造系統系統控制軟體自動設計理論研究》是依託西安電子科技大學，由李志武擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：複雜柔性製造系統系統控制軟體自動設計理論研究
- 項目類別：青年科學基金項目
- 項目負責人：李志武
- 依託單位：西安電子科技大學
- 批准號：59505022
- 申請代碼：E0510
- 負責人職稱：教授
- 研究期限：1996-01-01 至 1997-12-31
- 支持經費：7（萬元）
中文摘要
國家自然科學基金資助項目“複雜柔性製造系統系統控制軟體自動設計理論研究”，以Petri網理論為基礎，以柔性製造系統為研究對象，研究了複雜製造過程實時控制軟體自動設計的系統理論和方法。首先，基於通信順序進程，設計了製造系統控制描述的規格說明，研究了製造系統Petri網控制器的形式化設計理論和方法，Petri網控制器的執行算法以及基於無死鎖的Petri網控制器研究製造過程系統控制軟體的自動設計理論和方法。研究結果表明，Petri網用於自動生產過程控制軟體的設計為該方面的研究提供了一條良好的途徑和方法，同時具有重要的意義和價值，基於（Petri）網的設計理論套用於先進制造系統是非常有前途的。
