Figure 5:(a) Table statechart and (b) Philosopher statechart; the ^DONE(n) notation indicates propagation of the DONE event with parameter n (for the n-th Philosopher)

Figure 5: (a) Table statechart and (b) Philosopher statechart; the ^DONE(n) notation indicates propagation of the DONE event with parameter n (for the n-th Philosopher)