The Development of Reliability Modeling and Analysis Tool Based on Stochastic Petri Nets

Given the existing difficulties in conventional reliability models and the limitations of the current SPN software tools in terms of modeling system reliability, a software tool for modeling system reliability based on SPN named RelSPN@zer is developed, describing both the general structure and the underlying numerical methods of the tool. RelSPN@zer provides a unified framework for the modeling and evaluation of SPN running under MATLAB environment and is especially tailed to the system reliability analysis. Many metrics of system reliability can be obtained both under stationary and transient state. An example is given to illustrate the use of this package.