An evaluation method of object-oriented Petri net on combat effectiveness of air defense and antimissile | IEEE Conference Publication | IEEE Xplore