A Fuzzy Reasoning and Verification Petri Nets (FRVPNs) model is established for an error detection and diagnosis mechanism (EDDM) applied to a complex fault-tolerant PC-controlled system. The inference accuracy can be improved through the hierarchical design of a two-level fuzzy rule decision tree (FRDT) and a Petri nets (PNs) technique to transform the fuzzy rule into the FRVPNs model. Several simulation examples of the assumed failure events were carried out by using the FRVPNs and the Mamdani fuzzy method with MATLAB tools. The reasoning performance of the developed FRVPNs was verified by comparing the inference outcome to that of the Mamdani method. Both methods result in the same conclusions. Thus, the present study demonstratrates that the proposed FRVPNs model is able to achieve the purpose of reasoning, and furthermore, determining of the failure event of the monitored application program.

中文翻译：

---

计算机控制系统故障检测和诊断的模糊推理设计。

针对应用于复杂容错PC控制系统的错误检测和诊断机制（EDDM），建立了模糊推理和验证Petri网（FRVPN）模型。通过两级模糊规则决策树（FRDT）的分层设计和Petri网（PNs）技术将模糊规则转化为FRVPNs模型，可以提高推理精度。通过使用 FRVPN 和 Mamdani 模糊方法以及 MATLAB 工具，对假设的故障事件进行了几个仿真示例。通过将推理结果与 Mamdani 方法的推理结果进行比较，验证了开发的 FRVPN 的推理性能。两种方法都会得出相同的结论。因此，本研究证明所提出的 FRVPNs 模型能够达到推理的目的，此外，