Leiand Shuo. Research on Modeling and Simulation of Cruise Missile Interception System Based on Object-oriented Petri Net. IEEE, 2010, doi:10.1109/iccsit.2010.5564706.