Analysing a Missile Simulator with Coloured Petri Nets.
Steven GordonJonathan BillingtonPublished in: Int. J. Softw. Tools Technol. Transf. (1998)
Keyphrases
- coloured petri nets
- simulation model
- formal verification
- target recognition
- machine learning
- route planning
- simulation environment
- expert systems
- optimization model
- target tracking
- test bed
- model checking
- databases
- special case
- user interface
- bayesian networks
- information systems
- artificial intelligence
- real world
- neural network