|
Моделирование и анализ информационных систем, 2011, том 18, номер 4, страницы 33–44
(Mi mais196)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Построение приближений бисимуляции в односчетчиковых сетях
В. А. Башкин Ярославский государственный университет им. П.Г. Демидова
Аннотация:
Односчетчиковые сети представляют собой конечные автоматы с дополнительным целочисленным неотрицательным счетчиком. Переход управляющего автомата увеличивает или уменьшает значение счетчика, при этом уменьшение возможно только в том случае, когда результат будет неотрицательным; проверка на ноль отсутствует. Односчетчиковые сети эквивалентны по выразительной мощности сетям Петри с не более чем одной неограниченной позицией, а также магазинным автоматам с односимвольным стековым алфавитом.
В работе представлен метод приближения наибольшей бисимуляции в односчетчиковой сети, основанный на использовании однопериодической символьной арифметики и понятия расслоенной бисимуляции.
Ключевые слова:
односчетчиковые сети, сети Петри, бисимуляция, однопериодический базис.
Поступила в редакцию: 29.09.2011
Образец цитирования:
В. А. Башкин, “Построение приближений бисимуляции в односчетчиковых сетях”, Модел. и анализ информ. систем, 18:4 (2011), 33–44
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mais196 https://www.mathnet.ru/rus/mais/v18/i4/p33
|
Статистика просмотров: |
Страница аннотации: | 282 | PDF полного текста: | 87 | Список литературы: | 47 |
|