<p>Сеть Петри представляет собой двудольный ориентированный граф, состоящий из<br /> вершин двух типов – мест и переходов, соединенных между собой стрелками. В позициях<br /> могут размещаться фишки, способные перемещаться по сети.<br /> Сеть Петри называется элементарной, если для каждой ее маркировки число фишек в<br /> каждом месте не больше единицы. Хорошо известно, что каждая элементарная сеть Петри<br /> эквивалентна безопасной.<br /> В настоящее время теория сетей Петри содержит большое количество моделей, методов<br /> и средств анализа, имеющих обширное количество приложений практически во всех<br /> отраслях вычислительной техники и даже вне ее. Для изучения работы элементарной сети<br /> Петри необходимо исследовать ее группы гомологий.<br /> Целью работы являлась разработка программного обеспечения для вычисления групп<br /> гомологий и направленных групп гомологий элементарных сетей Петри.</p>