|
реклама |
|
|
|
|
|
|
Приборы и системы. Управление, контроль, диагностика Аннотация к статье << Назад
Анализ достижимости древомм достижимости реверсивной сети Петри |
А.В. ГОРДИЕНКО, Д.В. ФАТХИ
Одной из самых распространённых моделей, для представления параллельно взаимодействующих процессов и структур, является сеть Петри. От начала появления и по нынешнее время появилось большое количество разновидностей сетей Петри. Каждая из этих сетей нацелена на моделирование различных систем, учитывающих определённые особенности, такие как: временные параметры, запрещающие условия, приоритетность процессов и другие. В ходе решения задач вычислительными системами, нередко появляется необходимость в возврате к предыдущему состоянию, которое уже было достигнуто в прошлом. Суть заключается в пошаговом откате системы, с помощью модифицирования дальнейших состояний в предыдущее при помощи самой вычислительной системы. Для решения подобной задачи может использоваться реверсивная сеть Петри, являющаяся модификацией классической сети Петри Работа посвящена решению задачи анализа достижимости реверсивных сетей Петри методом построения графа достижимости. Были построены схемы на основе математического аппарата, реверсивные сети Петри, логические операции, такие как конъюнкция и дизъюнкция.
Ключевые слова: сеть Петри, реверсивные сети Петри, анализ достижимости, древо достижимости, логическая операция.
DOI: 10.25791/pribor.02.2020.1152
Стр. 48-51. |
|
|
|
Последние новости:
Выставки по автоматизации и электронике «ПТА-Урал 2018» и «Электроника-Урал 2018» состоятся в Екатеринбурге Открыта электронная регистрация на выставку Дефектоскопия / NDT St. Petersburg Открыта регистрация на 9-ю Международную научно-практическую конференцию «Строительство и ремонт скважин — 2018» ExpoElectronica и ElectronTechExpo 2018: рост площади экспозиции на 19% и новые формы контент-программы Тематика и состав экспозиции РЭП на выставке "ChipEXPO - 2018" |