Skip to main content

Analysing a missile simulator with coloured Petri nets

This is a preview of subscription content, access via your institution.

Author information

Affiliations

Authors

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Gordon, S., Billington, J. Analysing a missile simulator with coloured Petri nets. STTT 2, 144–159 (1998). https://doi.org/10.1007/s100090050023

Download citation

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