上海交通大学 自动化研究所,上海 200030
针对传统分析方法的不足, 提出用线性逻辑给出模糊时间 Petr i网描述和时间推理的方法。该 方法能清楚地分析模糊时间 Pet ri 网的运行行为,具体例子说明了其在系统过程监测和诊断中的应用。
高梅梅, 吴智铭.模糊时间Petri网的时间推理及其在过程监测中的应用[J].控制与决策,2001,16(3):371-373