Нейзов - Виды вложенности автоматов

0:00 начало доклада 0:30 общее понятие вложенности, пример вложенной диаграммы 1:56 формулировка задачи построения иерархической композиции 5:17 вложенность с упреждающим и не упреждающим переходом (в языках Argos и SyncCharts) 13:07 вложенность в Switch-технологии 19:06 вложенность в иерархической модели автоматных программ (немедленный переход в SyncCharts) 23:57 вложенность в конечно-автоматной технологии 28:39 вложенность в иерархических конечных автоматах (Hierarchical State Machine, HSM) 30:51 заключение