Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками

• Published in: Кибернетика и системный анализ
• Date: 2018
• Main Authors: Гломозда, Д.К., Глибовец, Н.Н., Максимец, А.Н.
• Format: Article
• Language: Russian
• Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2018
• Subjects: Програмно-технічні комплекси
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/161378
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками / Д.К. Гломозда, Н.Н. Глибовец, А.Н. Максимец // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 151–163. — Бібліогр.: 22 назв. — рос.

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