Analysing a missile simulator with coloured Petri nets

The operation of a distributed missile engagement simulator is modelled and analysed. The simulator is developed as a testing platform for missile guidance and control algorithms. The simulator uses concurrency and remote execution to enhance performance. Two coloured Petri net models are created, simulated and analysed: an abstract model that specifies the service provided by the simulator to the graphical user interface and user, and a detailed model that describes the functionality of the simulator. It is shown that there are no deadlocks when communicating between components of the simulator and the simulator operates correctly. Also, for a set of input parameters, the detailed model provides the service described by the abstract model.