Deadlock detection and resolution in simulation models

Murali Krishnamurthi, Amar Basavatia, Sanjeev Thallikar

Research output: Contribution to journalConference articlepeer-review

6 Scopus citations


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 languageEnglish (US)
Pages (from-to)708-715
Number of pages8
JournalWinter Simulation Conference Proceedings
StatePublished - Dec 1 1994
Externally publishedYes
EventProceedings of the 1994 Winter Simulation Conference - Buena Vista, FL, USA
Duration: Dec 11 1994Dec 14 1994

ASJC Scopus subject areas

  • Software
  • Modeling and Simulation
  • Safety, Risk, Reliability and Quality
  • Chemical Health and Safety
  • Applied Mathematics


Dive into the research topics of 'Deadlock detection and resolution in simulation models'. Together they form a unique fingerprint.

Cite this