复杂系统可靠性Petri网建模及其智能分析方法

本书以Petri网为基本建模工具,介绍了一系列新的复杂系统可靠性形式化建模方法及其智能求解算法,主要包括...

2011.9