The National Natural Science Foundation of China(No.60903011);the Natural Science Foundation of Jiangsu Province(No.BK2009267)
A new modular solution to the state explosion problem caused by the Markov-based modular solution of dynamic multiple-phased systems is proposed. First, the solution makes full use of the static parts of dynamic multi...