Мощность - моделирование
Cтраница 1
Мощность моделирования характеризуется аддитивными монотонными системами. Обсуждаемые здесь вопросы разрешимости концентрируются на использовании дерева достижимости для доказательства корректности. [1]
Как указанное ограничение мощности моделирования сети Петри соотносится с предложенными расширениями сетей Петри. Все предложенные расширения направлены на создание в сетях Петри возможности проверки на нуль. Самым простым расширением сетей Петри, которое допускает проверку на нуль, являются сдерживающие дуги. Сдерживающая дуга показана на рис. 7.5. Сдерживающая дуга из позиции pi в переход tj имеет маленький кружок, а не стрелку у конца дуги, присоединенного к переходу. Правило запуска изменяется следующим образом: переход является разрешенным, когда фишки присутствуют во всех его ( обычных) входах и отсутствуют в сдерживающих входах. Переход запускается удалением фишек из всех его ( обычных) входов. [2]
Такое исследование покажет, как взаимосвязаны мощность моделирования п мощность разрешения, а также укажет границы обеих для модели сети Петри. [3]
Однако существует связь между мощностью разрешения и мощностью моделирования, и высокая мощность разрешения маркированных графов частично проистекает из низкой мощности моделирования. [4]
 |
Расширенная сеть Петри со сдерживающей дугой. [5] |
Области ограничения были предложены Патилом [231] для увеличения мощности моделирования сетей Петри. В контексте Патила области ограничения были только средством для того, чтобы сделать процесс моделирования проще, а не для того, чтобы увеличить мощность моделирования, поскольку все позиции в работе Патила были ограниченны. Однако определение областей ограничения не исчерпывается ограниченными сетями Петри, а для более общего класса сетей Петри верно, что они эквивалентны сетям Петри со сдерживающими дугами. [6]
 |
Расширенная сеть Петри со сдерживающей дугой. [7] |
Сети Петри со сдерживающими дугами являются интуитивно самым прямым подходом к увеличению мощности моделирования с помощью сетей Петри. [8]
В то же самое время любое расширение, которое разрешает проверку на нуль, увеличивает мощность моделирования до уровня машин Тьюринга и сводит мощность разрешения к нулю. [9]
В этой главе мы исследуем предложения, которые были сделаны для преодоления двух ограничений сетей Петри: ограничений на мощность моделирования сетей Петри и ограничений на мощность разрешения сетей Петри. Во-первых, рассмотрим некоторые предложения по расширению модели сети Петри. Расширение модели сети Петри должно увеличивать мощность моделирования сетей Петри, но при этом оно может уменьшать их мощность разрешения. Влияние любого расширения на мощность разрешения расширенной модели требует тщательного изучения. [10]
Однако существует связь между мощностью разрешения и мощностью моделирования, и высокая мощность разрешения маркированных графов частично проистекает из низкой мощности моделирования. [11]
 |
Добавление графов UCLA к иерархии моделей. [12] |
На рис. 8.17 граф UCLA с рис. 8.14 преобразован в эквивалентную сеть Петри. Это преобразование показывает, что мощность моделирования графов UCLA вкладывается в мощность моделирования сетей Петри. Очевидно, что сеть Петри может быть преобразована в эквивалентный граф UCLA посредством представления позиций дугами графа UCLA, а переходов - вершинами с входной и выходной логикой И. Таким образом, эти две модели эквивалентны по своей мощности моделирования. На рис. 8.18 показана модифицированная иерархия моделей. [13]
 |
Добавление графов UCLA к иерархии моделей. [14] |
На рис. 8.17 граф UCLA с рис. 8.14 преобразован в эквивалентную сеть Петри. Это преобразование показывает, что мощность моделирования графов UCLA вкладывается в мощность моделирования сетей Петри. Очевидно, что сеть Петри может быть преобразована в эквивалентный граф UCLA посредством представления позиций дугами графа UCLA, а переходов - вершинами с входной и выходной логикой И. Таким образом, эти две модели эквивалентны по своей мощности моделирования. На рис. 8.18 показана модифицированная иерархия моделей. [15]
Страницы: 1 2