On-the-fly verification of discrete event simulations by means of simulation purposes.
Paulo Salem da SilvaAna Cristina Vieira de MeloPublished in: SpringSim (TMS-DEVS) (2011)
Keyphrases
- discrete event
- simulation model
- discrete event simulation
- simulation models
- dynamic systems
- crisis response
- simulation environment
- discrete event systems
- supervisory control
- multiple faults
- mathematical model
- dynamical systems
- simulation software
- manufacturing process
- timed petri nets
- mathematical modeling
- simulation tools
- hybrid systems
- supply chain
- database systems
- dynamic programming