模糊时间Petri网的时间推理及其在过程监测中的应用

摘要：

针对传统分析方法的不足,提出用线性逻辑给出模糊时间Petri网描述和时间推理的方法.该方法能清楚地分析模糊时间Petri网的运行行为,具体例子说明了其在系统过程监测和诊断中的应用.

关键词：模糊时间Petri网、线性逻辑、时间推理

所属期刊栏目：16

分类号：TP301(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：371-373