Введение в архитектуру компьютеров


Здесь: – переход; O – место - часть 4


3. Если в исходном фрагменте переход

 то в новом фрагменте строим минус-дугу из t в pk  и 2l–1 плюс-дуг из pk в t, где l – кратность дуг из pk в t в исходном фрагменте.

4.Если в исходном фрагменте M (pk) = m, то в новом фрагменте M(pk) = = 2m-1.


Для иллюстрации данного построения на рис. 8.7 изображен фрагмент ингибиторной сети и соответствующий фрагмент ПМ-сети (на рисунке ингибиторная дуга изображена дугой, которая оканчивается кружком вместо стрелки).

Рис. 8.7. Ингибиторная сеть и ПМ-сеть

После того как для каждого фрагмента ингибиторной сети построен эквивалентный фрагмент ПМ-сети, остается осуществить сочленение полученных фрагментов по переходам, помеченным одинаковыми символами. Такое построение производится на основе операции наложения. Полученное объединение фрагментов и будет являться ПМ-сетью N2, эквивалентной N1.


Будем конструировать ПМ-сеть специального вида (СПМ-сеть). Базовым элементом выберем следующую сеть, называемую в дальнейшем R-фрагментом: a, b, c – места; a, b, g, d – переходы: связи выражаются отношением rP, T, N, A на множествах P, T, N, A и отношением rT, P, N, A на множествах T, P, N, A, заданных матрицами:

R-фрагменты могут объединяться в кортежи. Пусть R1 = (P1, T1, F1, H1, M0, 1), …, Rn= (Pn, Tn, Fn, Hn, M0,n) – R-фрагменты, причем Pi = {ai, bi, ci}, Ti = {ai, bi, gi, di}, 1 ? i ? n. Тогда кортежем R-фрагментов называется сеть S =

= (Ps, Ts,Fs, Hs, M0, s

), где

 Ts = T1?T2?…?Tn?ts (ts  – некоторый переход, называемый в дальнейшем входным переходом кортежа),
 – есть объединение Hi, 1 ? i ? n и дополнительных плюс-дуг, которые соединяют переход ts, c ai, 1 ? i ? n.

Назовем сi и di, 1 ? i ? n, выходными местами кортежа R-фрагментов. На множестве R-фрагментов кортежа можно задавать отношения, аналоги которых существуют в реальных программах. Эти отношения задаются в кортежах путем комбинаций дополнительных плюс- и минус-дуг, соединяющих переходы и места различных фрагментов. Пример одного из таких отношений будет рассмотрен ниже.




- Начало -  - Назад -  - Вперед -