Multi-echelon Support System Analysis Based on Generalized Stochastic Petri Net | IEEE Conference Publication | IEEE Xplore