On the Complexity of Verifying Structural Properties of Discrete Event Simulation Models.
Sheldon H. JacobsonEnver YücesanPublished in: Oper. Res. (1999)
Keyphrases
- structural properties
- simulation model
- discrete event
- simulation models
- agent based simulation
- discrete event simulation
- dynamic systems
- discrete event systems
- simulation tools
- mathematical model
- multiple faults
- crisis response
- mathematical modeling
- tree width
- simulation environment
- air cargo
- supervisory control
- simulation tool
- topological properties
- data assimilation
- manufacturing process
- space complexity
- petri net
- multi agent
- model based diagnosis