EN | RU    
Издательство научно-технической литературы
Поиск по сайту:

На главную»

Контакты»

Журналы»

Новости»

Оформление статей»

Реклама в журналах»

Обратная связь»

Книги»

О фирме»



 реклама



Приборы и системы. Управление, контроль, диагностика

Аннотация к статье
<< Назад
Анализ достижимости древомм достижимости реверсивной сети Петри
А.В. ГОРДИЕНКО, Д.В. ФАТХИ

Одной из самых распространённых моделей, для представления параллельно взаимодействующих процессов и структур, является сеть Петри. От начала появления и по нынешнее время появилось большое количество разновидностей сетей Петри. Каждая из этих сетей нацелена на моделирование различных систем, учитывающих определённые особенности, такие как: временные параметры, запрещающие условия, приоритетность процессов и другие. В ходе решения задач вычислительными системами, нередко появляется необходимость в возврате к предыдущему состоянию, которое уже было достигнуто в прошлом. Суть заключается в пошаговом откате системы, с помощью модифицирования дальнейших состояний в предыдущее при помощи самой вычислительной системы. Для решения подобной задачи может использоваться реверсивная сеть Петри, являющаяся модификацией классической сети Петри Работа посвящена решению задачи анализа достижимости реверсивных сетей Петри методом построения графа достижимости. Были построены схемы на основе математического аппарата, реверсивные сети Петри, логические операции, такие как конъюнкция и дизъюнкция.
Ключевые слова: сеть Петри, реверсивные сети Петри, анализ достижимости, древо достижимости, логическая операция.


DOI: 10.25791/pribor.02.2020.1152

Стр. 48-51.

 разделы

«О журнале

«Архив журнала

«Тематическая направленность журнала

«Правила оформления статей

«Этапы рассмотрения и публикации статей

«Правила рецензирования статей

«Редакционная и профессиональная этика

«Обнаружение плагиата

«Редакция и редакционная коллегия

«Новости журнала


 журналы
...................................
Приборы и системы. Управление, контроль, диагностика
...................................
Приборостроение и средства автоматизации. Энциклопедический справочник
...................................
Промышленные АСУ и контроллеры
...................................
Экологические системы и приборы
...................................
Авиакосмическое приборостроение
...................................
Инженерная физика
...................................
История науки и техники
...................................
Музыка и время
...................................
Нотный альбом
...................................
Музыковедение
...................................
Всеобщая история
...................................
Справочник инженера
...................................
Прикладная физика и математика
...................................
Известия академии инженерных наук им. А.М. Прохорова
...................................

Последние новости:

Выставки по автоматизации и электронике «ПТА-Урал 2018» и «Электроника-Урал 2018» состоятся в Екатеринбурге

Открыта электронная регистрация на выставку Дефектоскопия / NDT St. Petersburg

Открыта регистрация на 9-ю Международную научно-практическую конференцию «Строительство и ремонт скважин — 2018»

ExpoElectronica и ElectronTechExpo 2018: рост площади экспозиции на 19% и новые формы контент-программы

Тематика и состав экспозиции РЭП на выставке "ChipEXPO - 2018"

   Rambler's Top100 Rambler's Top100         


    Система управления разработана в: ananskikh.ru
© Издательство "НАУЧТЕХЛИТИЗДАТ", 2005-2024