Two times BDD algorithm of mission reliability for time-delayed net
Wang Li-jun · Journal of systems engineering · 2009
Time-delayed net is a kind of net in which faults of joints in the net make the time delay of mission.Mission in time-delayed net success means that the mission finished in time,so the method in studying the mission reliability in the time-delayed net is different from the post nets.The mission reliability for the time-delayed net is given by using two times BDD(binary decision diagram) algorithm.The build order of BDD diagram is given,which is better than the past process.An example of quick researching and manufacturing system is given to illustrate the method,which demonstrates that the method is good.