"улыбаемся и машем, парни!"(с) Ну и где? Где вся ботва, отбражающая реентерабельность машины состояний? Одинарные и двойные рамочки? Где очередь событий и таблица сохраненных состояний? Где их взаимодействие с основным алгоритмом работы?
Да и в корне узкоглазые опять слукавили - переключаются лишь
буферы промежуточных состояний внутри одного контекста машины состояний. Подвешивание контекста приводит к остановке выполнения всех повторных вхождений. А в их примере с лифтами - неполадки с одним лифтом могут привести к остановке всех лифтов на объекте. Красиво, ничего не скажешь.
Плюс их машина состояний не КА! (переходы Е8 и Е10 имеют несколько выходных позиций)
"смешиваем и пробуем, смешиваем и пробуем.." - рецепт от суньхуньвчайских разработчиков.