改进Petri网建模阶段的系统瞬时可用度解算方法探讨

系统可靠性参数的求解存在从分析、建模到方程组解算的复杂过程。在可靠性模型的构建阶段,若采用SPN构建系统初始模型可省去中间耗时的分析过程,直接利用SPN的特殊性质构造出系统的状态转移模型,可大大简化求解系统瞬时可用度的建模过程。利用SPN的特殊性质给出模型转换方法,提高建模阶段的效率,并结合解算阶段的微分方程组数值解法,给出包括从系统建模到微分方程组求解一系列流程的系统瞬时可用度的快速求解方法。