Двойственное параметрическое описание моделей решеток в форме бесконечных сетей петри

Abstract

Представлено двойственное параметрическое описание моделей решеток в форме бесконечных сетей Петри. Описание применено для построения бесконечных систем линейных уравнений для нахождения t-инвариантов бесконечных сетей Петри с регулярной структурой. Результаты компоновки бесконечных систем линейных уравнений для вычисления инвариантов переходов представлены на примере модели прямоугольной решетки. Методика применима к произвольным моделям решеток с регулярной структурой.