Как работает самостабилизирующийся алгоритм Дейкстры?

Я прочитал его основополагающую статью, Самостабилизирующиеся системы, несмотря на распределенное управление . Однако я не совсем понимаю, как работает самостабилизирующийся алгоритм. Меня больше всего интересует его «решение» машин с k-состояниями. Плотность бумаги довольно велика, и я не могу ее разобрать. Как этот алгоритм работает на простом английском языке?