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

被引：4

作者：

胡昌华

陈新海

机构：

[1] 西安二炮工程学院教研室!

[2] 西北工业大学航天学院!西安

来源：

基金：

国家自然科学基金重点项目;

关键词：

逻辑运算; 有向图形学; 故障树形图分析; Petri网;

D O I：

暂无

中图分类号：

N945.1 [系统分析];

学科分类号：

071102 ;

摘要：

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

引用

页码：74 / 76

页数：3