For the most recent entries see the Petri Nets Newsletter.

Applying Coloured Petri Nets and Design/CPN to an Air-to-Air Missile Simulator.

Gordon, Steven; Billington, Jonathan

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography