Cтраница 4
Прежде всего эта обмотка с удлиненными переходами, что видно по расположению начала первой фазы по отношению к первой катушечной группе. Сделав первые три обхода ротора, увидим, что после перемычки переходы становятся укороченными. Такой выбор переходов не нарушает условий симметрии обмотки. Достоинство же такой обмотки заключается в том, что в ней отсутствуют пересечения перемычек с выводами фаз. Это более удобно для выполнения обмотки. [46]
Важность этого определения заключается в том способе, которым оно допускает управляемые конфликты. Конфликт появляется только тогда, когда одна позиция является входом нескольких переходов. По определению сетей Петри со свободным выбором, если позиция является входом для нескольких переходов ( потенциальный конфликт), то она является единственным входом всех этих переходов. Следовательно, либо все эти конфликтующие переходы одновременно являются разрешенными, либо ни один из них. Это позволяет свободно осуществлять выбор ( разрешение конфликта) запускаемого перехода, присутствие фишек в других позициях не влияет на выбор запускаемого перехода. [47]
Входной переход выполнится в том случае, если соответствующее входное воздействие находится первым в очереди входных воздействий. Так как модуль может содержать несколько очередей входных воздействий ( см. разд. Кроме того, в этот же момент могут выполняться условия возможности для одного или нескольких спонтанных переходов. Выбор перехода для выполнения в этом случае спецификацией никак не ограничен, за исключением того, что переход может быть выбран для выполнения лишь в том случае, если среди других потенциальных претендентов нет переходов с большим приоритетом. Отсутствие приставки priority означает самый низкий приоритет. Выбор перехода, включающий оценку всех перечисленных выше факторов, и его выполнение являются неделимым действием. Неделимость означает неизменность окружения с точки зрения модуля, выполняющего переход. [48]