This is a model of the dining philosophers problem for
Runway. It includes a
.model
file describing the state and how it changes, as well as a .js
file
which can be used with
runway-browser to produce an
visualization.
To solve this classical problem, I have opted for symmetry breaking.
David Wobrock, for DD2443 Parallel and Distributed Computing at KTH.