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

作者：高梅梅; 吴智铭

来源：控制与决策, 2001, (03): 371-373.

DOI：10.13195/j.cd.2001.03.115.gaomm.030

• 模糊时间Petri网
• 线性逻辑
• 时间推理 fuzzy time Petri nets
• linear logic
• temporal reasoning

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

• 出版日期2001
• 单位上海交通大学