【摘要】 基于随机Ｐｅｔｒｉ网，提出了一种较为简单的计算冗余可修系统稳态可用度的方法．该方法由于利用了随机Ｐｅｔｒｉ网作工具来分析系统状态之间的转移过程，从而使过程清晰明了，鉴于Ｐｅｔｒｉ网模型，利用Ｍａｒｋｏｖ理论可方便地得到状态概率矩阵方程更多还原

【Abstract】 Based on Stochastic Petri Nets(SPN),a comparatively simple analytic method of steady availability of redundant repairable system is presented.The method uses SPN as a tool to analyze the transferring of system’s states so that the states′ transferring is very clear.Matrix equations on probability of system states are easily obtained through the SPN model and Markov theory.更多还原