“…Some extensions like GSPN, SAN, SRN, and Colored PN provide more powerful modeling facilities for complex system analysis. 7,8 Some researchers focus on automatically converting one type of reliability model to another, that is, FT to GSPN, for model formal specification and verification. 9 Generally, the choice of a suitable reliability modeling method is determined by factors: familiarity of the user with the model type, the behavior properties of the system to be modeled, ease of use in a particular application, and conciseness.…”