Множество - позиция
Cтраница 2
Покажите, что входная и выходная функции одновременно не являются необходимыми и что сеть Петри может быть определена множествами позиций, переходов и расширенной входной ( или выходной) функцией. Для этого покажите, как расширенная выходная функция может быть определена из расширенной входной функции и наоборот. [16]
Например, если рассмотреть Г как граф, представляющий игру, с вершинами, соответствующими позициям, и ребрами - ходами, то доминирующим множеством D будет такое множество позиций, что во все остальные позиции можно попасть из D за один ход. [17]
По - троим структурную модель этого процесса в виде правильной сети Петри автоматного типа Лг ( Р, Т, F), где Р Р; - множество позиций сети, взаимно однозначное множеству технологических операций; T - t / - множество юреходов сети, взаимно однозначное множеству состояний U - U, техноло-пческого аппарата. [18]
Включение в игру случайных ходов позволяет рассматривать игры, являющиеся одновременно стратегическими и азартными. Представление множества позиций в виде ориентированного графа показывает, что комбинаторный аспект также охватывается общим определением стратегической игры. [19]
В работах [54, 55] предлагается алгоритм групповой релаксации для размещения плоских объектов, относящийся к классу алгоритмов парных перестановок. На некоторой площади размещения выделяется множество позиций, число которых равно числу размещаемых плоских объектов. Позиция представляет собой прямоугольник, линейные размеры которого равны размерам наиболее крупного размещаемого объекта. [20]
Целый ряд хороню известных головоломок можно описать в терминах графов, и тогда их решение будет зависеть от существования некоторой цени, соединяющей данную вершину с какой-либо другой вершиной. В каждой задаче такого рода имеется некоторое множество допустимых позиций пли состояний. [21]
В каждой задаче такого рода имеется некоторое множество допустимых позиций или состояний. [22]
Основные понятия, используемые для получения регулярного языка по конечному автомату, применимы и к сетям Петри для образования теории языков сетей Петри. В дополнение к сети Петри, определяемой множеством позиций и переходов ( которые приблизительно соответствуют множеству состояний и функции переходов автомата), необходимо определить начальное состояние, алфавит и множество заключительных состояний. Задание этого для сети Петри может привести к различным классам языков сетей Петри. Рассмотрим их по порядку. [23]
Оригинальный метод формального описания дискретных систем был предложен Карлом Адамом Петри в 1962 году. Он опирается на разделение системы или отдельных ее частей на множество простых позиций. Позиция описывает состояние части системы. Причем состояние понимается здесь достаточно гибко, это может быть состояние оборудования, процесса или программы. Переходы между позициями происходят при выполнении определенных условий. Переходам соответствуют отрезки, соединенные с позициями направленными дугами. Каждая позиция способна обладать маркером и передавать его другим позициям по исходящим дугам. Маркеры отображается в виде жирной точки. Допускается одновременное присутствие нескольких маркеров. К переходу приходит одна или несколько дуг, идущих от разных позиций. [24]
В играх с полной информацией каждый игрок при своем ходе знает ту позицию дерева игры, в к-рой он находится. В играх с неполной информацией игроку при своем ходе известно лишь нек-рое множество позиций, наз. Игры с полной информацией соответствуют случаю, когда каждое информационное множество каждого игрока состоит из одной позиции. [25]
Для такой игры, как шахматы, это оказывается практически невозможным. Поэтому при математическом анализе комбинаторно сложных игр усилия переносятся с поисков множества выигрывающих позиций на доказательство существования таких множеств. [26]
С Г - сетью связывается понятие маркировки. Маркировка ц Г - сети ( V, X, Y, F, 1 / У - это функция, отображающая множество позиций ( XJ Y) в множество целых неотрицательных чисел N, ц: ( Х () Y) - N. Маркировка сопоставляет каждой позиции число ( быть может, нулевое), которое будем рассматривать как число фишек, находящихся в позиции. [27]
Модель размещения усложняется, если требуется учесть дополнительные условия на взаиморасположение модулей, связанные с уменьшением взаимного теплового или электрического влияния модулей. Дополнительные ограничения требуются и в случае, когда для модулей, принадлежащих некоторым непересекающимся подмножествам множества модулей, по каким-либо содержательным соображениям указаны подмножества множества позиций, в которые эти модули могут быть установлены. Задача существенно усложняется при необходимости размещения разногабаритных элементов на плате при нефиксированных позициях для установки элементов. [28]
Многие из первых исследователей не давали формального определения своих моделей, а описывали неформально относящиеся к их работе компоненты, такие, как позиции, переходы, фишки и правило запуска. Одно из первых формальных определений было дано Патилом [231] в его докторской диссертации, в которой сеть Петри определялась в виде четверки ( Т, Р, Л, В), где Т - множество переходов, А - множество дуг, Р - множество позиций и В - начальная маркировка. [29]
 |
Диаграмма осуществимости некоторых структурных конфигураций в различных сетях Петри. [30] |
Страницы: 1 2 3 4