In: Ajmone Marsan, M.: Lecture Notes in Computer Science, Vol. 691; Application and Theory of Petri Nets 1993, Proceedings 14th International Conference, Chicago, Illinois, USA, pages 532-541. Springer-Verlag, 1993.
Abstract: A colored Petri Net implementation of a high-level defence model is presented. The model is being used to represent the real-time aspects and behavior of critical system components and assesses the performance of various weapon assignment decision policies. Simulation results for two candidate weapon allocation strategies are briefly discussed. A comparative analysis with an object-oriented simulation environment is then carried out in order to identify strengths and weaknesses of the approach related to system design.