The definition of deadlock
Wait-for Graph
Resource-Allocation Graph (requests + allocation)

Cycles and Knots

Analysis of deadlocks in:

Single Instance, Single Request System
Multiple Instance, Single Request System
Single Instance, Multiple Request System
Multiple Instance, Multiple Request System

Presence of Resource Knots

Auxiliary Processes in the Deadlock Set.