A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation.
Rodrigo D. CastroErnesto KofmanGabriel A. WainerPublished in: Simul. (2010)
Keyphrases
- discrete event
- discrete event simulation
- simulation model
- dynamic systems
- hybrid systems
- mathematical modeling
- crisis response
- timed petri nets
- discrete event systems
- complex systems
- formal model
- modeling framework
- formal methods
- simulation environment
- formal specification
- low cost
- supervisory control
- multiple faults
- probabilistic model
- databases
- operational semantics
- dynamical systems
- monte carlo
- mathematical model
- simulation software
- stochastic simulation
- high level