In: CPN, Aarhus, Denmark, 10-12 June 1998 / Jensen, K.: Daimi PB-532: Workshop on Practical Use of Coloured Petri Nets and Design, pages 1-14. Aarhus University, 1998.
Abstract: In this paper the communication mechanisms of a missile engagement simulator are modelled and analysed. The simulator is developped as a testing platform for missile guidance and control algorithms. The simulation uses concurrency and remote execution concepts to enhance performance. Coloured Petri nets are a well suited formal approach for modelling and analysis of these concepts. Design/CPN is used to create and analyse the model of the simulation. A new requirement of the graphical user interface is identified for the simulation to operate successfully. The communication mechanisms are without deadlocks and are suitable for the simulator.
Keywords: Missile Simulator Design; Distributed Systems; Coloured Petri Nets; Formal Analysis.