много модуля). p align="justify"> S3. Комутація матриці (встановлення шляху, що зв'язує вхідний і вихідний порти для передачі кадру). p align="justify"> S4. Неможливість комутації матриці (вихідний порт вже зайнятий). Помилка встановлення з'єднання. p align="justify"> S5. Прийом інших байт кадру процесором вхідного порту. p align="justify"> S6. Прийом байт кадру (включаючи перші) процесором вихідного порту через комутаційну матрицю. p align="justify"> S7. Передача байт кадру процесором вихідного порту в мережу. p align="justify"> Опишемо компоненти, які контролюють дані ситуації:
P1 - йде прийом даних на вхідному порте
P2 - йде пошук адреси призначення
P3 - комутація матриці (встановлення шляху)
P4 - вхідний порт передає дані кадру
P5 - йде прийом даних на вихідному порте
P6 - вихідний порт передає дані кадру в мережу
Тепер можна провести структурування ситуацій, представивши їх у вигляді двійкових векторів:
P1P2P3P4P5P6S1100000S2110000S3101110S4000010S5101000S6001110S7001001
Граф відносини F для даного процесу:
Безліч ініціаторів та Результант:
= {S1}
Ініціатори активізують процес. p align="justify"> Весь процес починається з прийому даних на вхідному порте. Подальший хід процесу залежить від результату пошуку адреси призначення. br/>
R = {S4, S7}
Результант - це фінальні ситуації.
Фіналом даного процесу є Передача байт кадру процесором вихідного порту в мережу.
Траєкторії виконання процесу:
1: (S1, S2, S4)
: (S1, S2, S3, S5, S6, S7)
Даний асинхронний процес є ефективним, тому що він задовольняємо наступним властивостям:
1)
)
),
тобто з ініціаторів процесу все траєкторії ведуть в результанти, і кожна з траєкторій, що призводять до Результант, починається в ініціатора.
Даний АП не є керованим тому кожен результант з безлічі R є унікальним класом еквівалентності, а отже процес має 2 класу еквівалентності в яких може сходиться процес, що суперечить визначенню керованого процесу.
Даний АП є простим, тому що виконуються умови:
1)
),
тобто будь-яка траєкторія містить в точності по одному ініціатору і одному Результант.
Висновок: процес є ефективним (з ініціатора траєкторія веде в результант і траєкторія, яка веде до Результант, починається в ініціатора; крім того, процес не містить циклів поза ситуацій, що не належить безлічі R), ...
