|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О пространственной ограниченности клеточных Р-сетей
В. А. Башкин Ярославский государственный университет им. П.Г. Демидова, ул. Советская, 14, г. Ярославль, 150003 Россия
Аннотация:
Клеточные Р-сети — обобщение концепции двухуровневых ресурсных сетей (сетей Петри) на случай бесконечной регулярной системной решетки. Этот формализм представляет собой гибрид сетей Петри и асинхронных клеточных автоматов и предназначен для моделирования мультиагентных систем с динамической пространственной структурой. Пространственная ограниченность — свойство, гарантирующее сохранение конечности “геометрических размеров” (например, площади) активной части системы на протяжении всей её жизни. Определяются три варианта пространственной ограниченности для клеточных Р-сетей: локализованность, ограниченность диаметра и ограниченность площади. Исследуются свойства соответствующих алгоритмических проблем, доказывается их неразрешимость в общем случае. Предлагается нетривиальный критерий локализованности одномерной клеточной сети, основанный на новой концепции графа распространения Р-автоматов. Описывается алгоритм построения графа распространения, использующий метод насыщения генерирующих путей. Предлагается способ оценки сверху диаметра одномерной клеточной сети с ограниченным графом распространения.
Ключевые слова:
мультиагентные системы, верификация, сети Петри, клеточные автоматы, Р-сети, пространственная ограниченность.
Поступила в редакцию: 21.07.2017
Образец цитирования:
В. А. Башкин, “О пространственной ограниченности клеточных Р-сетей”, Модел. и анализ информ. систем, 24:4 (2017), 391–409
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mais572 https://www.mathnet.ru/rus/mais/v24/i4/p391
|
Статистика просмотров: |
Страница аннотации: | 209 | PDF полного текста: | 65 | Список литературы: | 38 |
|