Formal safety analysis method based on Petri net
YU Jingzhi, YAN Fei, NIU Ru
China Safety Science Journal . 2019, (S2): 138 -143 .  DOI: 10.16265/j.cnki.issn1003-3033.2019.S2.023