This is a preview of subscription content, access via your institution.
Buy single article
Instant access to the full article PDF.
Tax calculation will be finalised during checkout.
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
- Key words: Missile simulator design – Coloured Petri nets – Distributed systems – Simulation – Reachability analysis