A deadlock detection algorithm for business processes workflow models

Citations Over TimeTop 12% of 2002 papers

Abstract

Proposes an algorithm which detects structures of deadlock which have deadlock occurrence possibility. This deadlock detection algorithm finds out all deadlock structures in the business processes workflow model by using deadlock patterns which express deadlock structures by combinations of nodes. There is the problem that some deadlock structures cannot be identified with some deadlock pattern because the deadlock structures cross each other when the algorithm finds deadlock patterns in the business processes workflow model. The problem can be solved by detecting the deadlock structures not by using each deadlock pattern but by using each of the unit into which the deadlock pattern is integrated.

Related Papers

• → Survey on Deadlocks in Distributed Database Systems(2021)2 cited
• A Distributed Deadlock Detection and Resolution Algorithm for the OR Model(2002)
• Distributed Deadlock and Distributed Recovery(2020)
• Distributed deadlock detection algorithms and their performance study(1995)
• → Deadlock Prediction Using Petri Nets(1980)