abstract: Рассматривается верификация имитационных моделей дискретных систем, представляемых в виде событийных графов. Определяются требования-ограничения синтаксической и семантической правильности: общие ограничения, структурные ограничения исходного событийного графа, структурные ограничения событийного графа в программно-реализуемой форме, семантические ограничения событийной имитационной модели и локальные ограничения.
keywords: имитационное моделирование, структурные ограничения, семантические ограничения, событийный граф