1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 3(70)'2008
  5. Разработка программно-алгоритмических средств моделирования сложных дискретных систем

Разработка программно-алгоритмических средств моделирования сложных дискретных систем

Магдалина И.В.
Аннотации на языках:

В статье предлагается анализ существующих методов моделирования работы сложных дискретных вычислительных систем, в частности, с использованием сетей Петри и методов имитационного моделирования. Разработана программа верификации формализованной модели на основе ПВС, сделан переход от формальной модели на базе ПВС к модели на языках имитационного моделирования GPSS и SMPL. Разработанные программы были использованы при исследовании протоколов для сетей ЭВМ, моделировании технических комплексов и проектировании вычислительных устройств.
Ключевые слова: сети Петри, метод имитационного моделирования, моделирование работы сложных систем