а також простим (будь-яка траєкторія містить в точності по одному ініціатору і одному Результант), але не є керованим (кожен результант з безлічі R є унікальним класом еквівалентності, а отже процес має 2 класу еквівалентності в яких може сходиться процес, що суперечить визначенню керованого процесу).
4. Репозиція
Для відновлення обраного АП необхідно, щоб звільнився вхідний порт комутатора, на який ідуть кадри з одного хоста-адресата, а для цього необхідно завершення комутації попереднього кадру.
Розглянемо процес P '= :
'= {S1, S7, S8}, де
7 - передача в мережу з вихідного порту останньої порції даних поточного кадру
S1 - передача на вхідний порт концентратора перших байт наступного кадру
S8 = {000001} - розрив усталеною зв'язку між вхідним і вихідним портами
F 'буде виглядати наступним чином:
I '= {S7}' = {S1}
Складена репозиція є частковою, тому що (I = R)
Висновок: репозиція являє собою повернення до початку процесу для обробки наступного кадру для передачі інформації через комутатор з одного комп'ютера локальної мережі на інший. У даному випадку репозиція є частковою. br/>
5. Редукція
Редукція необхідна тоді, коли з повного опису процесу необхідно виділити деяку цікаву з тих чи інших причин частина.
АП P (X *) = = {S1, S2, S3, S4, S5, S6, S7} = {100000, 110000, 101110, 000010, 101000, 001110, 001001} = {S1} = {100000} = {S4, S7} = {+000010,001001}
Траєкторії процесу P:
: (S1, S2, S4) = (100000, 110000, 000010)
: (S1, S2, S3, S5, S6, S7) = (100000, 110000, 101110, 101000, 001110, 001001)
Виділення вхідних і вихідних компонент:
Безліч вхідних компонент X = {P1}
тому на вхідний порт передаються дані з мережі (P1)
Безліч вихідних компонентів Y = {P5, P6}
тому дані приймаються на вихідному порте і передаються в мережу.
Безліч інших компонент Z = {P2, P3, P4}
тому обробку даних не можна віднести до вхідних або вихідним компонентам.
Безліч значень вихідних компонентів Y = {01, 10, 00}
Розглянемо два можливих значення: Y * = {10, 00}
S * = {100000,110000,101110,000010,101000,001110}
У S (Y *) потрапляють ситуації з S * із траєкторій, які повністю складаються з ситуа...