《無界Petri網分析理論與方法》是依託同濟大學，由周孟初擔任項目負責人的面上項目。
基本介紹
- 中文名：無界Petri網分析理論與方法
- 項目類別：面上項目
- 項目負責人：周孟初
- 依託單位：同濟大學
中文摘要,結題摘要,
中文摘要
無界Petri網分析問題一直是離散事件系統和Petri網領域的世界性研究難題之一，現有研究存在的問題與不足包括：有限可達樹信息表示的不準確，缺乏廣義無界網活性、死鎖及可達性分析方法，以及缺乏套用研究。本申請項目擬提出兩種新型的I型和II型有限可達樹（I/II-FRT）及生成算法，可在樹生成時去除虛假標識信息，確保網狀態表示的準確性；基於I-FRT提出一類ω無關廣義無界網的死鎖分析方法和基於II-FRT的平凡無界網與廣義無界網的活性、死鎖分析方法，突破現有研究對象僅限於1-庫所無界網的局面；提出II-FRT的自適應有限生長與增量式分析策略與方法，結合雲計算與雲存儲技術，建立廣義無界網的一般可達性分析的實用化方法；展開無界網在反應式軟體的建模、分析與驗證中的套用研究。研究有望推動無界網分析問題的研究與最終解決，為相關套用提供建模理論與分析方法，具有重大的理論與一定的套用價值。
結題摘要
無界Petri 網分析問題是離散事件系統和Petri 網領域的世界性研究難題之一，現有研究存在的問題與不足包括：有限可達樹信息表示的不準確，缺乏廣義無界網活性、死鎖及可達性分析方法，以及缺乏套用研究。本申請項目提出了兩種新型的I 型和II型有限可達樹（I/II-FRT）及生成算法，可在樹生成時去除虛假標識信息，確保網狀態表示的準確性；基於I-FRT 提出了一類ω無關廣義無界網的死鎖分析方法和基於II-FRT 的平凡無界網與廣義無界網的活性、死鎖分析方法，突破了現有研究對象僅限於1-庫所無界網的局面；提出了II-FRT 的自適應有限生長與增量式分析策略與方法，結合雲計算與雲存儲技術，建立了廣義無界網的一般可達性分析的實用化方法；開展了無界網在反應式軟體的建模、分析與驗證中的套用研究。該項目推動了無界網分析問題的研究與發展，為相關套用提供了建模理論與分析方法，具有重大的理論與一定的套用價值。
