论文部分内容阅读
故障诊断是保证航空航天等大型复杂系统可靠性的重要措施，故障树为此提供了一种有效的方法，但故障树是一种系统静态行为的描述方法，如何描述系统状态的动态变迁过程成为人们追求的目标，本文在论述逻辑关系的PETRI网表示的基础上，提出了系统状态动态变迁过程的PETRI网模型梯形图求解算法，进而提出了基于PERTI网的故障诊断的梯形图求解方法，并用一实例说明了这一过程。