针对离散事件系统故障后可诊断性的有效验证问题，设计了一种基于Petri网的边界可诊断性验证方法。首先，根据Petri网的结构特点，提出了显示可达图的概念及其构造算法。其次，提出了一种基于显示可达图的验证器及其构造算法，用于分析系统故障是否具有可诊断性，并计算满足系统可诊断性的边界值。最后，通过实例验证了设计方法的正确性。实验结果表明，该设计方法可以有效地验证系统故障后是否具有可诊断性，并计算出系统满足可诊断性的边界值。计算过程相对简单，可为实际工业应用中离散事件系统的故障诊断提供参考。