IMA Dynamic Reconfiguration Modelling and Reliability Analysis of Tasks Based on Petri Net. - Zhiao Ye; Shuo Wang; Jiapan Fu (CSDM Asia / CSDM, 2021)