Dynamic Reliability Model for Airborne Systems Based on Stochastic Petri NetLu Zhuang, Zhong Lu and Ziwen ZhangJNWPU, 38 4 (2020) 846-854DOI: https://doi.org/10.1051/jnwpu/20203840846