Здравствуйте, landerhigh, Вы писали:

L>Короче, КА может "проскочить" одно из состояний насколько быстро, что "остальной" КА его "не заметит"

L>Почти уверен, что "конечные автоматы" были реализованы через "очередь сообщений/состояний" или обмен сообщениями/контроль состояний осушествлялся через банальный poll.

Странное объяснение "слишком быстро". Если там несколько FSM параллельно крутятся в разных девайсах / нитках, то одна из FSM должна отправить особый ивент "я тут типа переключилась" в общую очередь ивентов, и остальные заинтересованные FSM на это среагировать.