[2] [2] SHAN G J,WANG G J,DAI Y Q,et al.Performance analysis of the vehicular 1553B bus system using stochastic petri net［C］//International Conference on Quality,Reliability, Risk,Maintenance,and Safety Engineering (QR2MSE).Chengdu:IEEE,2013.doi:10.1109/QR2MSE.2013.6625 613.

[7] [7] HUANG N,CHEN W W,LI R Y,et al.The layered index method for network reliability analysis［C］//The 8th International Conference on Reliability,Maintainability and Sa-fety.Chengdu:IEEE,2009.doi:10.1109/ICRMS.2009.52 70065.

[8] [8] WANG Y F,WU J Y,CHANG C T.Automatic hazard analysis of batch operations with petri nets ［J］.Reliability Engineering and System Safety,2002,76(1):91-104.

[11] [11] WAN J X,XIANG X D,BAI X Y,et al.Performability analysis of avionics system with multilayer HM/FM using stochastic petri nets［J］.Chinese Journal of Aeronautics, 2013,26(2):363-377.

[12] [12] TU X J,XU J R,WU Q,et al.Modeling and reliability evaluation of avionics clouds based on AADL and GSPN［C］//IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC).East Syracuse,NY:IEEE,2013.doi:10.1109/DASC.2013:6712651.