Aiming at the state space explosion problem in the actual application, a new method which combines the Fault Petri net and GSPN is put forward to analyze system dynamic reliability based on the modularization concept.

• 针对广义随机Petri网在实际应用中存在的状态空间爆炸问题,基于模块化思想,本文提出一种集故障Petri网和广义随机Petri网优点于一体的系统动态可靠性建模新方法,结合具体实例说明了该方法的应用步骤。