效鼎 Dining Philosphier 4 States,5 transitions put_1 IF1 1F1 1_get_F2 F1 1_get_F1 11F2 IF1 F2 1F2 11F1 1F1 11F2 1F2 M出果 1_get_F2 F1 1_get_F1 IF2 11_F1 1F2Dining Philosphier ◼ 4 States， 5 transitions