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