由PETRI网模型求系统最小割集的自顶向下法

• 来源期刊: 航天控制
• 学科: 工学
• 关键词: 控制系统 可靠性分析 故障分析
• 年，卷（期）: 1999,（2）
• 页码范围: 68-72
• 页数: 5页
• 分类号: TB114.3
• 语种: 中文

摘要

研究了系统逻辑关系的PETRI网表示,基于PETRI网的建模方法,采用PETRI网模型求系统最小割集的自顶向下法,与故障树方法相比,这种方法可同时获得系统的最小割集和最小路集,且求解的效率高,实例分析证实了这一点.