ustify"> комутація сегмент передача буферизація
1)
) y1 = x2
3)
4) або
або
Таким чином, АП P3 =
S3 = {1000000, 1100000, 0000100, 0000100, 0000110,0000101}
F3:
I3 = {1000000}
R3 = {0000101}
Висновок: отриманий процес Р3 дає функціонування процесу обробки помилки комутації матриці з сигналізацією користувача звуковим сигналом.
. Мережа Петрі
В
N =
Безліч умов P = {p1, p2, p3, p4, p5, p6}
Безліч подій T = {S1, S2, S3, S4, S5, S6, S7}
Функції інцидентності
(P1, S2) = F (P2, S3) = F (p3, S4) = F (p4, S4) = F (p5, S4) = F (p1, S4) = F (p1, S6) = F (p5, S5) = F (p4, S7) = F (p5, S7) = 1 (S2, p1) = H (S2, p2) = H (S4, p5) = H (S7, p6) = H (S3, p3) = H (S3, p4) = H (S3, p5) = H (S5, p3) = H (S5, p1) = H (S6, p4) = H (S6, p5) = 1
Початкова розмітка М0 = {1, 0, 0, 0, 0, 0}
Для аналізу мережі та її умов і подій побудуємо дерево розміток.
Умова p в мережі N називається обмеженим, якщо існує число n/для будь досяжною в мережі розмітки N справедливо нерівність M (p)? n.
В даній мережі для умов p1, p2, p3, p4, p5, p6 таким числом є 1.
Таким чином, всі умови даної мережі є обмеженими.
Мережа називається обмеженою, якщо кожний її місце обмежена.
В даній мережі всі місця обмежені, значить і сама мережа обмежена.
Умова p називається безпечним, якщо для будь-якої розмітки М, досяжною в мережі N, має місце умова: М (р)? 1. p> В даній мережі умови p1, p2, p3, p4, p5, p6 є безпечними (це добре видно по дереву розміток),
Мережа N безпечна, якщо всі її умови безпечні.
Дана мережа є безпечною, тому що всі її умови безпечні.
Перехід t в мережі N називається потенційно живим при розмітці MR (N), якщо існує розмітка MR (N, M)/M? F (p, t), тобто існує досяжна від М розмітка М, при якій перехід t може спрацювати.
Якщо М = М0, то перехід t називається потенційно живим у мережі N.
При початковій розмітці М0 для всіх переходів існує досяжна розмітка, при якій вони можуть спрацювати (це видно, наприклад, по дереву розміток). Отже, переходи p1, p2, p3, p4, p5, p6 є потенційно живими в мережі N.
Перехід t в мережі N називається живим, якщо, тобто він потенційно живий при будь досяжною в мережі розмітці.
В даній мережі всі переходи не є живими в мережі N. p> Мережа називається живий, якщо всі її переходи живі.
Дана мережа не є живою, тому що не всі (в даному випадку - ніякі) її переходи є живими.
Перехід t називається стійким в мережі N, якщо
,
тобто якщо перехід t може спрацювати, то ніякий інший перехід не може, спрацювавши, позбавити його цієї можливості.
Перехід t1 може спрацювати тільки при розмітці M0, і ніякий інший перехід не може спра...
