Анализ логических схем цифровых автоматов с памятью на основе их представления в виде сети Петри
Analysis of the logic of digital machines with memory on the basis of their representation in the form of Petri nets

УДК 519.6

В данной статье авторы освещают проблему экспоненциального возрастания сложности вычислений достижимых состояний цифровых автоматов для схем большой размерности.

In this article authors shine a problem of exponential increasing complexity of computing reachable states of digital automaton for schemes of large dimension.

Авторы:

Леонтьев Михаил Юрьевич

Ульяновский государственный университет, г. Ульяновск
Аспирант кафедры «Телекоммуникационные технологии и сети»

Смагин Алексей Аркадьевич

Ульяновский государственный университет, г. Ульяновск
Д.т.н., профессор кафедры «Телекоммуникационные технологии и сети»

Список цитируемой литературы:

  • Кожевников В.В. Метод математического моделирования логических схем цифровых автоматов // Автоматизация процессов управления. 2012. № 4. С. 97-101.
  • Питерсон Дж. Теория сетей Петри и моделирование систем: Пер с англ. М.: Мир, 1984.-264 с.
  • Мурата Т. Сети Петри. Свойства, анализ, приложения // ТИИЭР, 1989, Т.77, № 4,1989. с.41-85.
  • Кожевников В.В., Смагин А.А. Процедуры анализа достижимости устойчивых состояний цифровых автоматов // Ученые записки УлГУ. 2012. № 1 (4). С. 175-190.

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

Случайный материал

  • В статье рассматриваются вопросы эффективной организации мониторинга процессов оказания электронных услуг. В качестве инструмента проведения мониторинга предлагается использовать автоматизированную систему, обеспечивающую адаптивную организацию процессов сбора, хранения и обработки данных. Сформулированы системные и технологические задачи организации мониторинга, раскрыты их сущность и принципы решения.
    Фролов Алексей Иванович, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
  • В данной статье рассматриваются подходы к созданию подсистемы стабилизации температуры в барокамере экспериментальной системы контроля качества приборов. Данная подсистема позволяет управлять величиной тока, подаваемого на термоэлектрический модуль, для поддержания воздушной среды управляемого объекта – барокамеры в пределах заданной величины.
    Демина Юлия Александровна, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
    Вереницын Андрей Игоревич, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
    Демина Елена Григорьевна, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
  • В данной статье рассматривается актуальность применения свободного программного обеспечения для оказания электронных услуг населению, а также выявляются проблемы при его внедрении и сопровождении.
    Стычук Алексей Александрович, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
    Постников Максим Владимирович, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел