Типы переходов в е-сетях.
Т – переход ( простой переход, исполнение)
T
Формальная запись
(1;0) (0;1)
Срабатывает при непустой метки во входной позиции и отсутствии ей в выходной позиции.
E- переходы ( разветвление)
Формальная запись
(1;0;0) (0;1;1)
Срабатывает при наличии метки на входе.
Y-переходы (обощение).
Формальная запись
(1;1;0) (0;0;1)
1001
0101
X-переход (переключатель) – переключение потока данных между выходами в зависимости от выполнения.
Х-переход изменяет направление потока транзактов.
В общем случае разрешающая процедура может быть сколько угодно сложной, но сущность ей работы заключается в проверке выполнения условий разветвления потока (с точки зрения программирования разрешается позиция, логического условного типа оператора if).
У-переход ( выбор)
У-переход отражает приоритетность одних потоков информации (транзактов) по сравнению с другими. При этом разрешающая процедура может быть определена следующим образом :
Как операция сравнения ориентированных приоритетов меток ;
Как функции от атрибутов меток ( например, чем меньше время обслуживания, тем выше приоритет).
В е-сетях существует понятие как макро-переход, и макро-позиция, которые позволяют отобразить процессы накопления обслуживаемых транзактов.
Макро-позиция – очередь.
Макро-позиция – очередь – это линейная композиция вершин – позиций и Т-переходов. Количество вершин позиций определяет емкость очереди.
O->|T->O->|T->O->|T…..|->OT
Макро-позиция-генератор.
TFFFFFFFFFFF
FFFFFFFFFFFF