Basic event ordering in fault tree analyses using binary decision diagram

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