Связь сетей Петри с бесскобочной польской записью
Рассмотрены сети Петри, которые порождают языки бесскобочной польской записи и обратной польской записи для пропозициональных формул и арифметических выражений. Пропозициональные формулы могут содержать заданное количество переменных, а арифметические выражения — переменных и констант. Предложены та...
Збережено в:
Видавець: | Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України |
---|---|
Дата: | 2016 |
Автор: | Статкевич, В.М. |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
2016
|
Назва видання: | Системні дослідження та інформаційні технології |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/134009 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | Связь сетей Петри с бесскобочной польской записью / В.М. Статкевич // Системні дослідження та інформаційні технології. — 2016. — № 2. — С. 7-13. — Бібліогр.: 8 назв. — рос. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Моделирование Grid-узла на основе сетей Петри
за авторством: Шелестов, А.Ю.
Опубліковано: (2009) -
Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
за авторством: Зайцев, Д.А.
Опубліковано: (2012) -
Построение математических моделей управляемых сетей поставок с учетом запаздываний потоков
за авторством: Дорофеев, Ю.И., та інші
Опубліковано: (2013) -
Расчет характеристик смешанной системы обслуживания с резервированием каналов
за авторством: Меликов, А.З., та інші
Опубліковано: (2008) -
Оценка статистических свойств последовательностей на выходе комбинационного генератора с помощью графических тестов
за авторством: Лавданский, А.А., та інші
Опубліковано: (2015)