Срабатывание - переход
Cтраница 2
 |
Базовый выбор. - сетевых переходов. [16] |
Если решающая позиция Ь ( В / ВР), то ее состояние устанавливается обычным для сетей Петри образом в результате срабатывания переходов сети. [17]
Этот язык порождается ( как префиксный) помеченной сетью Петри с Х - перехо-дами, показанной на рис. 3.4. В этой сети поочередные срабатывания переходов Г2 и Г3, помеченных соответственно символами 0 и 1, порождают некоторое двоичное слово о. Если при этом срабатывают также переходы f4 nfs, то в местах РЗ ир4 накапливаются фишки. [18]
Если решающая позиция bt е ( В / ВР), то ее состояние устанавливается обычным для сетей Петри образом в результате срабатывания переходов сети. [19]
Для адекватного описания подобных ситуаций можно использовать модификацию сетей Петри, в которой фишкам приписаны некоторые признаки, например, различные цвета, а условия срабатываний переходов и правила изменения разметки сети задаются специальной таблицей, учитывающей цвета фишек. [20]
Определение правил функционирования иерархической сети, данное в § 6.3, предполагает, что локальные и внешние входные места внутренних переходов в составных переходах равноправны при выяснении возможности срабатывания переходов. В результате составной переход завершается, если ни один из его внутренних переходов не может сработать, так как хотя бы одно из его входных мест, безразлично - локальное или внешнее, не имеет фишек. [21]
Для каждой подсети фориируется таблица состояний ( автомат Мура), причем количество состояний определяется количеством переходов, а количество входных перзменных-набором переменных, входящих в логические условия срабатывания переходов данной подсети. Указываются также значения выходных переменных, определяемых состоянием данного автомата. [22]
Отношение альтернативности нельзя определить топологически единообразным способом для переходов и мест сети из-за разных требований к реализации условия и действия в системе и соответственно появлению фишки в месте и срабатыванию перехода в сети. Условие может реализоваться ( измениться), если хотя бы одно непосредственно предшествующее ему действие реализовалось, т.е. место получит фишку, если хотя бы один переход, для которого это место является входным, сработал. Действие может реализоваться, если все непосредственно предшествующие ему условия реализовались, т.е. переход может сработать, если все его входные места имеют фишки. [23]
На основе понятия сети, которая описывает только статическую топологию моделируемого процесса или системы, вводятся динамические сетевые структуры, в которых местам приписываются специальные разметки, моделирующие выполнение условия, и с сетью связывается понятие ее функционирования, изменяющего эти разметки ( условия) в результате так называемых срабатываний переходов. К таким динамическим сетям относятся сети Петри, их различные варианты, обобщения и частные случаи. [24]
Правила срабатывания переходов ( рис. 3.21) конкретизируют следующим образом: переход срабатывает, если для каждой из его входных позиций выполняется условие Nt К где Nt - число маркеров в г-й входной позиции, К, - число дуг, идущих от г-й позиции к переходу; при срабатывании перехода число маркеров в г-й входной позиции уменьшается на Kif а ву - й выходной позиции увеличивается на Щ, где М - число дуг, связывающих переход су-й позицией. [25]
Соответствующее преобразование показано на рис. 2.11. Пока место 7о содержит фишку, сеть / V функционирует точно так же, как и сеть N. После срабатывания перехода Г0 место % получает фишку. [26]
В общем случае кратность дуги может быть любым неотрицательным числом, но если все дуги имеют одну и ту же кратность 1, то сеть относится к подклассу ординарных сетей. Для срабатывания перехода в ординарной сети Петри требуется, чтобы каждое его входное место содержало хотя бы одну фишку, а после срабатывания перехода каждое его выходное место получает дополнительно по одной фишке. Наличие в сетях Петри дуг с кратностью, большей единицы, позволяет естественно моделировать реальные дискретные системы, но во многих случаях теоретического анализа сетей удобней ограничиться рассмотрением ординарных сетей. [27]
Первое из рассматриваемых ниже свойств сетей Петри связано с ограниченной емкостью реальных условий реализаций событий. Действительно, из определения правил срабатывания переходов сети следует, что для реализации события, моделируемого некоторым переходом, достаточно, чтобы каждое его входное место-условие содержало некоторое конечное число фишек, равное кратности дуги, соединяющей его с переходом. Если интерпретировать места как накопители ( буферы) данных, сигналов или деталей в моделируемых системах, то естественно потребовать, что при любом варианте функционирования этих систем не происходило бы переполнение накопителей, которые в реальных ситуациях имеют конечную, фиксированную емкость. Следующие понятия формализуют такие требования. [28]
Функционирование сети Петри описывается формально с помощью множества последовательностей срабатываний и множества достижимых в сети разметок. Эти понятия определяются через правила срабатывания переходов сети. [29]
Он бесконечен, если и только если содержит бесконечную помечающую последовательность. В процессе функционирования сети после каждого срабатывания помеченного перехода место-счетчик получает фишку. Это место ограничено тогда и только тогда, когда сеть ( Л /, Z) не порождает ни одной бесконечной помечающей последовательности. Поскольку проблема ограниченности некоторого места в сети Петри разрешима ( теорема 2.3), разрешимой является и проблема конечности префиксных языков. [30]
Страницы: 1 2 3 4