Which one of the following is a visual ( mathematical ) way to determine the deadlock occurrence?