В статье рассматриваются проблемы управления состоянием распределенной имитационной модели при афиксированном модельном времени. В качестве формального аппарата описания распределенных имитационных моделей выбраны процессная алгебра и структурная реализации программного представления моделей. Предлагаются пути достижения однозначности состояния модели в неизменный момент модельного времени и в момент отката модельного времени.
