基於Petri網的工作流系統構造技術與驗證方法研究

《基於Petri網的工作流系統構造技術與驗證方法研究》是依託北京大學，由張世琨擔任負責人的面上項目。

基本介紹

• 中文名：基於Petri網的工作流系統構造技術與驗證方法研究
• 項目負責人：張世琨
• 項目類別：面上項目
• 依託單位：北京大學
• 批准號：60473058
• 申請代碼：F0203
• 負責人職稱：研究員
• 研究期限：2005-01-01 至 2005-12-31
• 支持經費：5（萬元）

項目摘要

1、建立一套比較完整的工作流元模型，其中包括過程、功能、數據和組織等元模型。.2、遵循一致性(元模型、模型及實現上的一致)原則，根據建立的工作流元模型，研究並提出基於P/T系統層次化的工作流模型過程網(Procedure net)，包括邏輯層、語義層及實現層，其中，使用同步距離來規約過程邏輯，引入Uninet對工作流模型的過程語義進行規約，採用對偶網來定義實現層，並給出過程網的一些