Modeling weapon target assignment of air defense based on CPN and MAS | IEEE Conference Publication | IEEE Xplore