Сборники тезисов • Сборник тезисов докладов конгресса молодых ученых. Выпуск 1 • ИНФОРМАЦИОННЫЕ СИСТЕМЫ И ТЕХНОЛОГИИ
ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ ИССЛЕДОВАНИЯ ТОПОЛОГИИ ПОВЕДЕНИЯ И КЛАССИФИКАЦИИ ЭЛЕМЕНТАРНЫХ СЕТЕЙ ПЕТРИ С ПОМОЩЬЮ ВЫЧИСЛЕНИЯ ИХ ГРУПП ГОМОЛОГИЙ
УДК: 681.3
Аннотация:
Сеть Петри представляет собой двудольный ориентированный граф, состоящий из
вершин двух типов – мест и переходов, соединенных между собой стрелками. В позициях
могут размещаться фишки, способные перемещаться по сети.
Сеть Петри называется элементарной, если для каждой ее маркировки число фишек в
каждом месте не больше единицы. Хорошо известно, что каждая элементарная сеть Петри
эквивалентна безопасной.
В настоящее время теория сетей Петри содержит большое количество моделей, методов
и средств анализа, имеющих обширное количество приложений практически во всех
отраслях вычислительной техники и даже вне ее. Для изучения работы элементарной сети
Петри необходимо исследовать ее группы гомологий.
Целью работы являлась разработка программного обеспечения для вычисления групп
гомологий и направленных групп гомологий элементарных сетей Петри.