ustify "> 1 ) ' R 2 (X * 2 )) Г‡ S 3 .
Висновки щодо виконання операції композиції
Вдалося побудувати процес, що задовольняє всім вимогам послідовної композиції.
Побудована композиція описує фізичний процес спільної роботи диспетчера друку і струменевого принтера під час фізичного процесу друку одного аркуша і до завантаження нового завдання друку. Процес спільної роботи можна представити на схемі:
В
Висновки:
Були досліджені основні операції над асинхронними процесами: репозиція, редукція і композиція. Де це було необхідно, доведено за визначеннями, що операції виконані вірно. У ході виконання операцій були побудовані конкретні асинхронні процеси та пояснення їх фізичний зміст. br/>
5. Предметна інтерпретація асинхронного процесу
Вихідний асинхронний процес
Для побудови мережі Петрі інтерпретуємо безліч ситуацій асинхронного процесу як безліч допустимих розміток мережі Петрі. В якості вихідного візьмемо асинхронний процес P 1 з В§ 2, представлений графом відносини безпосереднього проходження, в якому ситуації структуровані:
В
Побудуємо таблицю допустимих розміток R (N) для мережі Петрі. p align="justify"> Сітуацііp 1 p 2 p 3 R (N) s 1 1 011M 1 s 1 2 010M 2 s 1 3 100M 3 s 1 4 101M 4 s 1 5 001M span> 5
Мережа Петрі