А. В. Дереза, Е. А. Лукьянова, “О структурировании задействованной дискретной информации моделей Петри с целью ускорения вычисления инвариантов”, ТВИМ, 2017, выпуск 2,страницы 62

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

А. В. Дереза, Е. А. Лукьянова

Крымский федеральный университет им. В. И. Вернадского, Таврическая академия, факультет математики и информатики, просп. Академика Вернадского, 4, Симферополь, 295007, Российская Федерация

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

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

УДК: 519.711, 519.17

MSC: 05C50, 05C51