Modeling and Simulating an Air Defense Weapon System with Colored Petri Nets

• 防空武器系统的着色Petri网络建模与仿真