Dining Philosphier 4 States, 5 transitions put_ |F1 1 get F1 11F2 F2 1F1 1F1 1 1_get_ F2 1_ get_F1 IF2 1F1 1F2Dining Philosphier ◼ 4 States， 5 transitions