Анотація. Описано алгоритм перетворення кольорової мережі Петрі із якісними фішками на кольорову мережу Петрі із кількісними фішками зі збереженням обмеженості, взаємовиключності та живучості. Таке перетворення робить можливим застосування до кольорової мережі Петрі методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв’язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь. Працездатність алгоритму продемонстровано на прикладі кольорової мережі Петрі, яка моделює роботу грід-системи. Еквівалентність мережних моделей перевірено шляхом побудови та аналізу еквівалентних їм скінченних автоматів.

Ключові слова: кольорові мережі Петрі, діофантові рівняння, скінченні автомати, грід-структура.