Method Based on SEFT-to-Petri for Safety Analysis of SoftwareXu Sai-sai, Chen Jing, Sun Yu-ning, Gao Xin-rui, Wang Bo-han and Wang Kun-longMATEC Web Conf., 179 (2018) 03030DOI: https://doi.org/10.1051/matecconf/201817903030