binary decision diagram for phased-mission systems (PMS-BDD)

• 多阶段任务系统的双值决策图（PMS-BDD）