РАЗРАБОТКА АЛГОРИТМА АВТОМАТИЗАЦИИ ПРЕОБРАЗОВАНИЯ КОНЕЧНОГО АВТОМАТА В СЕТЬ ПЕТРИ

摘要

Рассмотрена задача автоматизации преобразования конечного автомата (КА) в сети Петри (СП). Разработан алгоритм преобразования таблиц переходов и выходов КА в матрицу входных и выходных инциденций СИ Продемонстрировано функционирование алгоритма на основе простого примера модели транспортной системы (ТС) гибкого автоматизированного участка (ГАУ). На основе матрицы инцидентностей, полученной в результате функционирования алгоритма, построена модель СП в виде графа, имитирующего КА.