Performance Analysis of a Repairable K-out-of-M + W + C:G System with Mixed Standbys Using Generalized Stochastic Petri Nets