Dynamic Reliability Model for Airborne Systems Based on Stochastic Petri Net Lu Zhuang, Zhong Lu and Ziwen Zhang JNWPU, 38 4 (2020) 846-854 Published online: 06 October 2020 DOI: 10.1051/jnwpu/20203840846