Free  Thinking  Free Busy  1-fork  Busy Eating Fork i  Philosopher i  Fork (i + 1) mod n

Figure 1: Petri Net of a Dining Philosopher