Срабатывание - переход
Cтраница 3
 |
Фрагмент сети Петри [ IMAGE ] Конфликтная ситуация. [31] |
Если задержки являются случайными величинами, то сеть называют стохастической. В стохастических сетях возможно введение вероятностей срабатывания возбужденных переходов. В стохастической сети предусматривается вероятностный выбор срабатывающего перехода в таких ситуациях. [32]
Так как при рассмотрении процедур протокола необходим учет фактора времени, воспользуемся классом сетей Мерлина. Наличие в сетях Мерлина множеств Л ( минимальных времен срабатывания переходов) и Л ( ( максимальных времен срабатывания переходов) дает возможность оценивать временные характеристики для функциональных последовательностей. [33]
После реостатных испытаний тепловозы, выпускаемые из ремонта ТРЗ, обкатывают с поездом для проверки качества ремонта узлов экипажной части, тяговых электродвигателей, а также правильности настройки узлов электрической схемы. В частности, при обкатке с поездом проверяют токи срабатывания реле переходов, распределение тока по отдельным группам тяговых электродвигателей, процент ослабления поля тяговых электродвигателей при движении тепловоза в обоих направлениях. Сразу же после обкатки проверяют мегомметром состояние изоляции электрических цепей тепловоза в горячем состоянии. [34]
Один и тот же ТП может быть представлен в виде множества сетей Петри, отличающихся возможными комбинациями связей, количеством переходов и мест. Как было отмечено выше, функционирование сети-системы отражается в срабатывании переходов сети, образуя некоторую асинхронную реализацию, а работа множества различных сетей одного ТП порождает процесс. [35]
Другой круг проблемы связан с анализом динамики функционирования системы, с характером множеств возможных последовательностей реализации событий. Поскольку события системы представлены переходами сети, ее функционирование можно описать в терминах последовательностей срабатываний переходов. Этот язык называют свободным языком сети Петри. [36]
 |
Фрагмент сети Петри [ IMAGE ] Конфликтная ситуация. [37] |
Среди других разновидностей сетей Петри следует упомянуть ингибиторные сети, характеризующиеся тем, что в них возможны запрещающие ( ингибиторные) дуги. Наличие маркера во входной позиции, связанной с переходом ингибиторной дугой, означает запрещение срабатывания перехода. [38]
Среди других разновидностей сетей Петри следует упомянуть ингибитор-ные сети, характеризующиеся тем, что в них возможны запрещающие ( инги-биторные) дуги. Наличие маркера во входной позиции, связанной с переходом ингибиторной дугой, означает запрещение срабатывания перехода. [39]
Так как при рассмотрении процедур протокола необходим учет фактора времени, воспользуемся классом сетей Мерлина. Наличие в сетях Мерлина множеств Л ( минимальных времен срабатывания переходов) и Л ( ( максимальных времен срабатывания переходов) дает возможность оценивать временные характеристики для функциональных последовательностей. [40]
Внешние характеристики генератора для различных позиций контроллера ( рис. 3.8, а) показывают, что тяговый генератор может обеспечить максимальный кратковременный ток ( ограниченный коммутацией) 6600 А. Эти кривые широко используются в тяговых расчетах при определении нагревания генератора и для нахождения скоростей, при которых происходит срабатывание реле перехода. [41]
В общем случае кратность дуги может быть любым неотрицательным числом, но если все дуги имеют одну и ту же кратность 1, то сеть относится к подклассу ординарных сетей. Для срабатывания перехода в ординарной сети Петри требуется, чтобы каждое его входное место содержало хотя бы одну фишку, а после срабатывания перехода каждое его выходное место получает дополнительно по одной фишке. Наличие в сетях Петри дуг с кратностью, большей единицы, позволяет естественно моделировать реальные дискретные системы, но во многих случаях теоретического анализа сетей удобней ограничиться рассмотрением ординарных сетей. [42]
Правила срабатывания переходов ( рис. 2.8) конкретизируют следующим образом: переход срабатывает, если для каждой из его входных позиций выполняется условие N. Kt, где Nf - число маркеров в z - й входной позиции, Kt - число дуг, идущих от i - й позиции к переходу; при срабатывании перехода число маркеров в z - й входной позиции уменьшается на К. [43]
Однако оператор условного вычитания единицы не удается промоделировать средствами сетей Петри. Причина этого состоит в том, что в сети Петри можно заметить ( и отметить это срабатыванием некоторого перехода) тот факт, что место сети изменило разметку с нулевой на ненулевую, но нельзя отметить срабатыванием перехода факт изменения разметки с ненулевой на нулевую. Келлер [54] и Коса-раю [57] обратили на этот факт внимание и показали, что сети Петри не могут моделировать машины Минского и Тьюринга. [44]
Ингибигорная сеть представляет собой сеть Петри, дополненную специальной функцией инцидентности F /: / X 7 - ( О. Ингибиторные дуги связывают только места с переходами, на рисунках их изображают заканчивающимися не стрелками, а маленькими кружочками. Правило срабатывания переходов в ингибиторной сети модифицируется следующим образом. [45]
Страницы: 1 2 3 4