《邏輯Petri網理論及其合成運算性質研究》是依託山東科技大學，由杜玉越擔任項目負責人的面上項目。
基本介紹
- 中文名：邏輯Petri網理論及其合成運算性質研究
- 項目類別：面上項目
- 項目負責人：杜玉越
- 依託單位：山東科技大學
- 負責人職稱：教授
- 批准號：60773034
- 研究期限：2008-01-01 至 2010-12-31
- 申請代碼：F0204
- 支持經費：28（萬元）
項目摘要
為了描述與分析具有批處理功能和傳值不確定性的分散式協同系統，近年來我們提出了一種邏輯Petri網方法，並將其套用於證券交易、電子商務等系統的建模與分析，獲得了一些重要研究成果。在此基礎上，本項目主要側重於邏輯Petri網及其合成運算的理論研究，全面探索邏輯Petri網的理論意義和套用價值。深入研究邏輯Petri網的基本性質及行為理論，構建相應的可計算性理論，提供邏輯Petri網的性質分析方法及並發語言表達式；定義邏輯Petri網的邏輯範式，提供網語言與邏輯表達式相融合的推理方法，實現邏輯Petri網自動推理；定義邏輯Petri網的合成運算，提出相應的性質繼承判據，實現複雜邏輯Petri網的有效分析和驗證；針對分布協同系統中的批處理功能和傳值不確定性所產生的工作流動態性，提供動態工作流的建模技術，給出相應的分析和驗證方法，為動態工作流套用提供理論支持。
