Method of Operation Effectiveness Evaluation of Radar EW System Based on Petri Net | IEEE Conference Publication | IEEE Xplore