基于Petri网与改进二元决策图模型的最小割集求解方法

摘要

本发明公开一种基于Petri网与改进二元决策图模型的最小割集求解方法，包括步骤有根据故障情况建立相应故障树；根据所建立的故障树建立相应的Petri网模型；根据所建立的Petri网模型计算顶层事件的布尔逻辑关系式；根据顶层事件的布尔逻辑关系式转换成改进二元决策图模型；根据改进二元决策图模型可以比较直观的得到最小割集。本发明的有益效果是：能够有效解决求解最小割集存在的组合爆炸和NP问题。