Deadlock Detection with Graphs
Request edge: Process -> Resource.
Assignment edge: Resource -> Process.
For single-instance resources, a cycle indicates deadlock.
For multiple resource instances, a cycle alone may not prove deadlock.
Wait-for graphs can simplify process-to-process dependency analysis.