Abstract
Even though simulation models are validated and verified during the development process, a problem known as 'deadlock' can still occur and go unnoticed in large, complex simulation models. Of all the commercial simulation languages currently in use, none can currently detect or prevent deadlocks and this can lead to incorrect results and decisions. Unfortunately, a deadlocking situation will not show up as a syntax or run time error since it is a modeling error. In this paper, the issues related to deadlock detection and resolution in discrete event simulation models will be analyzed and an algorithm for detecting deadlocks in simulation models will be presented and illustrated with examples. Issues related to deadlock resolution will also be discussed.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 708-715 |
| Number of pages | 8 |
| Journal | Winter Simulation Conference Proceedings |
| State | Published - 1994 |
| Externally published | Yes |
| Event | Proceedings of the 1994 Winter Simulation Conference - Buena Vista, FL, USA Duration: Dec 11 1994 → Dec 14 1994 |
ASJC Scopus subject areas
- Software
- Modeling and Simulation
- Safety, Risk, Reliability and Quality
- Chemical Health and Safety
- Applied Mathematics