Safe, unsafe, and deadlocked state spaces. Taken from Bell, John T. "Deadlocks." University of Illinois, Chicago.