大房 NANJING UNIVERSITY Petri Nets Lei bu
Lei Bu Petri Nets 1
Dining Philosphier 4 States, 5 transitions put_ |F1 1 get F1 11F2 F2 1F1 1F1 1 1_get_ F2 1_ get_F1 IF2 1F1 1F2
Dining Philosphier ◼ 4 States， 5 transitions
9 States 14 transitions N put back 2_9tF 1. get F1 2g°tF2 1 get F2 F2 get Ft
◼ 9 States 14 Transitions
27 States, 56 transitions +2 3 2F2 2.F3
◼ 27 States， 56 Transitions
81 States, 252 Transitions 的到面
◼ 81 States， 252 Transitions