The applet to the left simulates Dijkstra's K-state
self-stabilizing protocol for a unidirectional ring.
Each circle represents a machine in
the ring; the color of a circle represents the state
of a machine.
The scroll bar at the bottom controls the speed of
the simulation.
Use the browser's reload button
to restart the simulation from a random initial state.
Authorship: An
early prototype of this Java simulation was programmed
by Karlotta Weibel; the current implementation is due
to Arul Kumaravel.