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.