Petri Net Based Safety Evaluation Approach for Aircraft under the Threats of Traditional Weapons | IEEE Conference Publication | IEEE Xplore