Analysing a missile simulator with coloured Petri nets

  • Steven Gordon
  • Jonathan Billington
Special section on coloured Petri nets

Key words: Missile simulator design – Coloured Petri nets – Distributed systems – Simulation – Reachability analysis 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Steven Gordon
    • 1
  • Jonathan Billington
    • 1
  1. 1.School of Physics and Electronic Systems Engineering and Institute for Telecommunications Research, University of South Australia, Mawson Lakes SA 5095, Australia; E-mail: {sgordon,jb}@spri.levels.unisa.edu.auAU

Personalised recommendations