DiningPhilosophers DiningPhilosophers NewPetriNet Transition 422,344 T10 Philosopher 5 is full and wants to think some more; he returns the forks. Eating-5 2 eat.bmp 421,416 Eating-5 0 Philosopher number 5 is now eating Transition 422,533 T5 if Thinker 5 is hungry and has both forks, he can eat Thinking-5 think.bmp 2 418,633 Thinking-5 1 Philosopher number 5 is now thinking Fork-5 fork.bmp 281,430 Fork-5 1 Fork number 5 is now available Thinking-4 think.bmp 2 180,626 Thinking-4 1 Philosopher number 4 is now thinking Transition 184,526 T4 if Thinker 4 is hungry and has both forks, he can eat Eating-4 eat.bmp 183,395 Eating-4 0 Philosopher number 4 is now eating Transition 177,323 T9 Philosopher 4 is full and wants to think some more, so he returns the forks. Fork-4 fork.bmp 22,507 Fork-4 1 Fork number 4 is now available Fork-3 fork.bmp 554,542 Fork-3 1 Fork number 3 is now available Transition 16,414 T8 Philosopher 3 is full and wants to think some more, so he returns the forks. Eating-3 eat.bmp 2 15,262 Eating-3 0 Philosopher number 3 is now eating Transition 614,480 T7 Philosopher 2 is full and wants to think some more; he returns the forks. Eating-2 eat.bmp 2 617,325 Eating-2 0 Philosopher number 2 is now eating Transition 30,197 T3 if Thinker 3 is hungry and has both forks, he can eat Thinking-3 think.bmp 2 30,93 Thinking-3 1 Philosopher number 3 is now thinking Transition 618,239 T2 if Thinker 2 is hungry and has both forks, he can eat Thinking-2 think.bmp 2 614,87 Thinking-2 1 Philosopher number 2 is now thinking Transition 2 345,288 T6 Philosopher 1 is full and wants to think some more, so he returns the forks. Fork-2 2 fork.bmp 512,24 Fork-2 1 Fork number 2 is now available Fork-1 6 fork.bmp 128,23 Fork-1 1 Fork number 1 is now available Eating-1 eat.bmp 2 344,164 Eating-1 0 Philosopher number 1 is now eating Transition 345,106 T1 if Thinker 1 is hungry and has both forks, he can eat Thinking-1 think.bmp 2 341,10 Thinking-1 1 Philosopher number 1 is now thinking trans2place Ss trans2place Sn trans2place Sn place2trans En place2trans n place2trans Sn trans2place Sn place2trans Sn trans2place Ne trans2place N trans2place Nn place2trans Ns trans2place N place2trans Es place2trans Ws place2trans Ns trans2place Ne trans2place Ns trans2place Nn place2trans Ns place2trans Ss place2trans Es trans2place N place2trans Ns trans2place Sn trans2place Sn trans2place Sn place2trans Sn trans2place Sn place2trans Wn place2trans Sn place2trans Sn trans2place S trans2place S trans2place Sn place2trans S trans2place Sn place2trans n place2trans n place2trans n