A criticism of the Dining Philosopher sample model

[ToonTalk]

The go command includes

ask one-of philosophers [ update ]

which kind of defeats the original purpose of this problem (concurrent deadlock) - https://en.wikipedia.org/wiki/Dining_philosophers_problem#Problems

Removing the one-of is still not a good illustration of the problem since a philosopher in the same tick can pick up two forks.

I recommend updating the Info tab with a discussion of this issue. Or implementing a concurrent version as a new switch in the interface so the current behaviour remains unless someone selects concurrency.