Этот замечательный документ я и сам нашел. Не знаю смотрели ли вы вложение, но я там набросал кое какую визуализацию. Хотелось бы, чтобы в кружках показывающих работу механизмов крутилась звездочка, или "бегали" ковшики по транспортеру. В предложенном вами примере прямоугольник менял свои координаты в соответствии с переменными из тела программы. У меня же все переменные имеют значение ложь или истина и в зависимости от их состояния меняется цвет кружков имитирующих работу механизма.