Аннотация. Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов.
Ключевые слова: раскрашенные сети Петри, диофантовые уравнения, конечные автоматы, грид-структура.
Гломозда Дмитрий Константинович,
кандидат техн. наук, старший преподаватель кафедры Национального университета «Киево-Могилянская академия», Киев, e-mail: glomozda@ukma.edu.ua.
Глибовец Николай Николаевич,
доктор физ.-мат. наук, професcор кафедры Национального университета «Киево-Могилянская академия», Киев, e-mail: glib@ukma.edu.ua.
Максимец Александр Николаевич,
инженер-программист компании «Facebook», Лос-Альтос (США), e-mail: maksymets@gmail.com.