基于 GSPN 的云控制系统容错构型建模与可靠性评估. - 吕书玉; 戴新发; 马 中; 高 毅; 胡哲琨 (Application Research of Computers / Jisuanji Yingyong Yanjiu, 2026)