головка дискети, і при незмінній 5 компоненті, рівною 0, тобто за відсутності захисту. В
В
Тоді редукція процесу P по безлічі:
В
1. p>. p>. p>. <В В В
.3 Композиція
Візьмемо в якості другого процесу для композиції процес форматування дискети за відсутності у неї заголовка і побудуємо послідовну композицію вихідного процесу і процесу форматування дискети.
Виділимо у вихідному процесі вихідну компоненту: записувальна головка, заголовок дискети, тому що ці компоненти у вихідному процесі визначають його стан щодо перевірки наявності заголовка.
В
Виділимо з вихідного процесу ту його частину, яка відображає хід процесу за відсутності заголовка у дискети, тобто при другій компоненті, рівною 0.
В
Тоді редукція процесу по безлічі:
В В
Компоненти додаткового процесу: записувальна головка, заголовок дискети
Ситуації додаткового процесу:
S = {S31, S32, S33}
) Записуюча головка перевіряє наявність заголовка, заголовок відсутній: S31 = {10}
) Записуюча головка форматує дискету, при цьому створюється заголовок: S32 = {11}
) Записуюча головка зупиняється, при цьому заголовок створено: S33 = {01}
S31 S32 S33
I = {S31}
R = {S33}
Виділимо в додатковому процесі вхідну компоненту (вона буде збігатися з усім набором компонент додаткового процесу): записувальна головка, заголовок дискети, тому що ці компоненти в додатковому процесі визначають його стан щодо форматування дискети, тобто створення заголовка.
В
В якості виберемо всі набори вхідний компоненти додаткового процесу, тому що редукція увазі зведення процесу до більш простому процесу, а процес форматування дискети представлений лінійної структурою з 3 ситуацій з одним ініціатором і одним Результант і на даному наборі компонент не може бути зведений до простішого.
В
Т.ч., забезпечується відповідність вихідний компоненти вихідного процесу і вхідний компоненти додаткового процесу: 2, 4 компоненти вихідного процесу збігаються з 1,2 компонентами додаткового процесу.
Побудуємо послідовну композицію вихідного процесу і додаткового процесу.
В В В В
Таким чином, забезпечені умови 1), 2), 3) і 4):
),:
) вихідні компоненти ситуацій з дорівнюють вхідний компоненті ситуації з
) якщо в компонента, то
) якщо, то
В
В
Висновок: Для даного процесу були зроблені операції: репозиція як засіб відновлення процесу при виникнення повторного запиту на запис (репозиція є частковою і частково наведений процес збігається з вихідним), редукція як виділення подпроцесса функціонування початкового процесу за наявності заголовка дискети і відсутності захисту, послідовна композиція як об'єднання початкового процесу і додаткового процесу (форматування дискети) за відсутності заголовка у дискети.
5. Предметна інтерпретація асинхронного процесу
.1 Побудова мережі Петрі
Побудуємо мережа В«ПетріВ» початкового процесу:
N =
В якості місць для побудови мережі Петрі виберемо компоненти вихідного асинхронного процесу з тією лише відмінністю, що в якості 5 компоненти візьмемо не наявність захисту, а її відсутність, тому що з точки зору передачі фішок такий підхід буде більш правильним.
інформація носій магнітний комп'ютер
T = {T1, T2, T3, T4, T5, T6, T7}
P = {P1, P2, P3, P4, P5, P6, P7}
P1 - використання пам'яті
P2 - робота записуючої головки
P3 - наявність заголовка
P4 - робота механізму, перевіряючого наявність захисту
P5 - відсутність захисту
P6 - наявність вільного місця
P7 - наявність запиту на запис
В
Розмітки в ході виконання процесу збігаються з ситуаціями початкового процесу з введеною вище заміною.
Побудуємо мережу Петрі:
В
Побудуємо граф розміток:
В
У даному випадку повне покриває дерево співпадає з графом розміток.
Властивості мережі:
1) Місця P1, P2, P3, P4, P5, P6, P7 є обмеженими (тобто існує такий номер n = 1, при якому для будь досяжною в мережі розмітці для окремо взятого місця виконується M (P) n) мережа є обмеженою (тому що все її місця є обмеженими)
) Місця P1, P2, P3, P4, P5, P6, P7 є безпечними (тобто для будь досяжною в мережі розмітці для окремо взя...
