《PETRI網的基本信標理論研究》是依託西安電子科技大學，由李志武擔任項目負責人的面上項目。
基本介紹
- 中文名：PETRI網的基本信標理論研究
- 項目類別：面上項目
- 項目負責人：李志武
- 依託單位：西安電子科技大學
- 批准號：60773001
- 申請代碼：F0201
- 負責人職稱：教授
- 研究期限：2008-01-01 至 2010-12-31
- 支持經費：30（萬元）
中文摘要
作為Petri網的一種結構對象,信標在Petri網的行為特性分析,尤其是活性分析中起著至關重要的作用.近十多年來,從信標的角度出發,研究資源分配系統的死鎖控制問題受到了廣泛關注.對信標的進一步研究，對於Petri網的理論和套用具有重要的理論意義和實際套用價值.Petri網基本信標的概念,是由申請者和美國新澤西理工學院MengChu Zhou教授首次提出的，本項目擬對Petri網的基本信標理論進行深入系統的研究，包括(1) 基本信標和從屬信標的可控性條件；(2) Petri網基本子類, 如AC網, FC, MG, AMG, EFC.等行為性質的基本信標表述；(3) Petri網各種套用子類中的基本信標理論,活性Petri網控制器的設計；(4) Petri網(及各種子類)的基本信標的計算方法及其時間複雜性問題；(5)推廣基本信標理論,研究廣義相互抑制問題;(6)高級Petri網的基本信標問題
