Modeling and performance analysis of gas leakage emergency disposal process in gas transmission station based on Stochastic Petri nets. - Shuanglei Liu; Weijun Li; Peng Gao; Yibo Sun (Reliab. Eng. Syst. Saf., 2022)