УДК681.3

ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ДЛЯ ИССЛЕДОВАНИЯ ТОПОЛОГИИ ПОВЕДЕНИЯ И КЛАССИФИКАЦИИ ЭЛЕМЕНТАРНЫХ СЕТЕЙ ПЕТРИ С ПОМОЩЬЮ ВЫЧИСЛЕНИЯ ИХ ГРУПП ГОМОЛОГИЙ

Тришина Т. А.



Аннотация

Разработано программное обеспечение для вычисления групп гомологий и групп направленных гомологий элементарных сетей Петри. Метод вычисления основан на алгоритме нахождения групп гомологий комплекса свободных конечно-порожденных абелевых групп с помощью нормальной формы Смита. Основная идея автора состоит в методе вычисления коэффициентов матрицы дифференциала, допускающем визуальную проверку. Кроме того, рассмотрена задача наглядного построения изучаемой сети Петри с возможностью исследования ее динамики. Приведены примеры ручного расчета групп гомологий и групп направленных гомологий. Описано взаимодействие пользователя с разработанным приложением. Приведены примеры построения и вычисления групп гомологий и направленных гомологий с помощью данного приложения. Программное средство реализовано в среде Embarcadero RAD Studio 2010 на языке программирования С++.


Ключевые слова:

элементарная сеть Петри, асинхронная система, группы гомологий, направленные группы гомологий, программное обеспечение

Информация 2001-2017 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика