A colored petri net model for a naval command and control system

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 assess 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.