利用二元决策图求解故障树的基本事件排序

• Basic event ordering in fault tree analyses using binary decision diagram