Функционирование СП
Функционированием СП управляют маркеры(их количество и распределение), которые запускают переходы, которые при срабатывании перемещают маркеры из своих входных позиций в выходные. Переход может запускаться, если он разрешен.
Разрешенный или возбужденный переход - это такой переход ti, для котрого при маркировке m:
"pk ÎI(ti) (m(pk)³ #(pk,I(ti))),
т.е. для каждой входной позиции раасматривается ее емкость, которая должна быть больше, чем кратность дуги, входящей из этой позиции в переход.
Срабатывание перехода ti - неделимое локальное действие, связанное с изменением количества маркеров во входных и выходных позициях разрешенного перехода ti по следующему правилу:
"pkÎP (m`(pk)= m(pk)-#(pk,I(ti))+#(pk,O(ti))), где m(pk),m`(pk) - емкость позиции pk до срабатывания и после срабатывания возбужденного перехода ti.
Примечание: Если позиция pk не связана непосредственно с переходом ti, то ее маркировка остается без изменений. Если связана, то новая маркировка входной позиции корректируется на кратность дуги, идущей в ti; а выходной позиции - суммируется в соответствии с кратностью входящей дуги.
Тупиковая маркировка - это маркировка m, в которой не существует ни одного разрешенного перехода.
Функционирование(поведение) СП - это процесс последовательного срабатывания разрешенных переходов, в ходе которого происходит смена маркировки СП до тех пор, пока не будет получена тупиковая маркировка.
Пример 3:”Функционирование СП(см. сеть А)”
1. t2
p2
p3 Разрешенный переход -t1.
m`(p1)=2-1=1
t1 m`(p2)=0+1=1
p1 t3
2. p2
t2 p3 Разрешенные переходы -
t1и t2.
m`(p1)=1-1=0
t1
m`(p2)=1-1=0
m`(p3)=0+3=3
p1 t3
3.
Разрешенный переход - t3.
`(p3)=3-1=2
`(p1)=0+2=2
4.и т.д. по аналогии с шагами 1-3.
Правила срабатывания переходов
1. Условие возбуждения перехода:Если среди входных позиций pk перехода tiесть хотя бы одна позиция с 0-маркером, то переход ti не может сработать. В общем случае: если m(pk)<#(pk,I(ti)), то переход tiне срабатывает.
2. “Лишние” маркеры во входных позициях перехода ti не влияют на его запуск.
3. Очередность срабатывания перехода: Переход ti может срабатывать всякий раз, когда он разрешен; при этом срабатывание перехода может произойти через любой конечный промежуток времени после его разрешения, т.е. переход может быть в возбужденном состоянии сколь угодно долго на конечное время, после чего он или срабатывает, или возбуждение с него снимается срабатыванием другого перехода.
4. Разрешение конфликтов:Если два перехода имеют общую входную позицию, которая содержит маркер для срабатывания только одного перехода, то срабатывает только один переход, а эта позиция называется конфликтной.
5. Возможность одновременного срабатывания нескольких переходов: Если имеется несколько попарно независимых разрешенных переходов, то их срабатывание происходит в любой последовательности или параллельно.
p2
p3 t3 p4 t4
t1 t5 p5
p1 p6 t6 p7
Здесь: переходы t1,t4,t6 - попарно независимы.
®
Обозначим отношение непосредственного следования m` после маркировки m в результате срабатывания перехода ti следующим образом: ® ®
m [ti > m`.
Маркировка m, достижимая в результате последовательности переходов из начальной маркировки m0, записывается следующим образом: ® ® ® ®
m0 [tj,1 > m1 [tj,2 > m2 ... [tj,l > ml
Для вышеприведенного примера:
m0=(2,0,0) [t1> (1,1,0)
m0=(2,0,0) [t1,t2,t3> (2,0,2)
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.