Промышленные АСУ и контроллеры Аннотация к статье << Назад Анализ реверсивной сети Петри древом достижимости А.В. Гордиенко, Д.В. Фатхи В ходе решения задач вычислительными системами нередко появляется необходимость в возврате к предыдущему состоянию, которое уже было достигнуто в прошлом. Суть заключается в пошаговом откате системы с помощью модифицирования дальнейших состояний в предыдущее при помощи самой вычислительной системы. Для решения подобной задачи может использоваться реверсивная сеть Петри, являющаяся модификацией классической сети Петри. От начала появления и по нынешнее время появилось большое количество разновидностей сетей Петри. Каждая из этих сетей нацелена на моделирование различных систем, учитывающих определенные особенности, такие как временные параметры, запрещающие условия, приоритетность процессов и другие. Работа посвящена решению задачи анализа достижимости реверсивных сетей Петри методом построения графа достижимости. Были построены схемы на основе математического аппарата, реверсивные сети Петри, логические операции, такие как конъюнкция и дизъюнкция. Ключевые слова: сеть Петри; реверсивные сети Петри; анализ достижимости; древо достижимости; логическая операция. DOI: 10.25791/asu.3.2020.1167 Стр. 25-28.