Method Based on SEFT-to-Petri for Safety Analysis of Software Xu Sai-sai, Chen Jing, Sun Yu-ning, Gao Xin-rui, Wang Bo-han and Wang Kun-long MATEC Web Conf., 179 (2018) 03030 Published online: 26 July 2018 DOI: 10.1051/matecconf/201817903030