時段時序邏輯的Petri網模型

《時段時序邏輯的Petri網模型》是依託清華大學，由林闖擔任項目負責人的面上項目。

基本介紹

• 中文名：時段時序邏輯的Petri網模型
• 依託單位：清華大學
• 項目負責人：林闖
• 項目類別：面上項目
• 負責人職稱：教授
• 批准號：60173012
• 研究期限：2002-01-01 至 2004-12-31
• 申請代碼：F0201
• 支持經費：21（萬元）

項目摘要

本項目研究內容包括提出能描述不確定長時段時序邏輯及其Ｐｅｔｒｉ網模型，驗證它的一致性和完備性；給出新時段時序邏輯的線性推理算法和時間Ｐｅｔｒｉ網模型壓縮分析技術；新時段時序邏輯在工作流和多媒體通信同步中的套用。本項目在研究可突破原有時段時序邏輯不能描述具有不確定性時段行為系統的限制；可以有效地解決時段時序關係推理和套用問題。