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

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

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