Cтраница 1
Составной переход завершается, если ни один из охватываемых им переходов не является активным или ждущим и локальное условие активации всех этих переходов не выполнено. В процессе завершения происходит смена разметки сети. Основное управление, завершая переход типа 0, передает фишки в его выходные места и переводит переход в пассивное состояние. Если же переход имеет тип 1, то управление дополнительно сообщает соответствующему теневому переходу о завершении перехода. Арбитр, приняв этот сигнал, посылает фишки в выходные места теневого перехода. Если теневой переход имеет тип 0, то на этом передача сообщения вверх обрывается, а в противном случае сообщение идет на верхние уровни. [1]
Условием завершения составного перехода t служит тот факт, что все его внутренние переходы пассивны и ни один из них не может быть активирован. [2]
Наличие двух составных переходов одинаковой структуры вызвано тем фактом, что в составном переходе начальная разметка его внутренних мест восстанавливается после завершения перехода. [3]
Здесь U обозначает активирование составного перехода и а И - его завершение. [4]
Таким образом, обертоны и составные переходы в спектрах комбинационного рассеяния разрешены для всех компонент тензора поляризуемости. [5]
Другими словами, при завершении составного перехода восстанавливается начальная разметка его внутренних мест, а его выходные места получают дополнительные фишки. [6]
На рис. 6.8 а показан пример составного перехода, на рис. 6.8 6 - построенная по описанному алгоритму сеть с приоритетами. [7]
Таким образом, конфликтные места для составного перехода f инцидентны как внутренним переходам перехода t, так и внешним по отношению к нему переходам. [8]
В процессе имитации сети для каждого составного перехода г генерируется копия основного управления С, и копия арбитра А. Управление Ct проверяет локальные условия активации переходов, охватываемых переходом г, и переводит их из состояния в состояние. [9]
Однако стало очевидным, что идентификация составных переходов не простой вопрос и что важно полностью понимать природу полос поглощения лиганда. Поскольку в этом разделе обсуждение ограничено в основном комплексами с 1 10-фенантролином и 2 2 -дипиридилом, ниже кратко рассматриваются спектры поглощения этих двух хелатов. [10]
Анализ функционирования исходной иерархической сети с единственным составным переходом и построенной сети с приоритетами непосредственно убеждает, что эти сети эквивалентны. [11]
Они возникают в том случае, когда некоторый составной переход может завершиться в Л /, послать фишки в свои выходные места и тем самым активировать другие переходы, а в Л /: этот переход не может завершиться, так как ожидает появления фишек в сторонних местах. [12]
Рассмотрим сначала частный случай иерархической сети, которая представляет собой единственный составной переход, все внутренние переходы которого - простые. Пусть Гг - множество внутренних переходов перехода f, Р, - множество его внутренних мест, М0 - начальная разметка сети. [13]
Рассмотрим, например, иерархическую сеть на рис. 6.10. Если составной переход и перешел в активное состояние, а переход а еще не сработал, то переход b не может сработать и тогда переход и завершается и становится пассивным. Условием завершения перехода и будет служить тот факт, что локальное входное место перехода b не содержит фишек. [14]
Алгоритм преобразования иерархической сети в сеть в приоритетами состоит в последовательной замене составных переходов, начиная с таких, у которых все внутренние переходы простые, на фрагменты сети с приоритетами. [15]