Дереза А. В.

Метод моделирования реактивных систем с параллельными и последовательными процессами

Журнал: 
Страница: 
107
Предлагается метод построения модели сложной многоблоковой реальной системы. Решается задача комбинирования последовательного и параллельного выполнения исходных процессов моделируемой системы за счет APPLY - операции для OBDD, представляющих автоматы соответствующих сетей Петри компонент исследуемой системы.

О структурировании задействованной дискретной информации моделей Петри с целью ускорения вычисления инвариантов

Журнал: 
Страница: 
62

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

Ключевые слова: модели Петри со временем, большие данные, компонентное моделирование, матрица инцидентности, инварианты временной сети Петри.