Например, Бобцов

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

Аннотация:

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

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

Статьи в номере