3 Композиція процесів В«ЗвукозаписВ» і В«Підготовка до звукозаписуВ»
Є два процеси та їх редукції, побудуємо їх послідовну композицію. Семантика композиції: процес підготовки до звукозапису, точніше його успішне виконання (редукція 4.3.3), запускає безпосередньо сам процес оцифровки, точніше, його В«одиночний прохідВ» (редукція 4.2), ці два процеси зчіплюються послідовно. p align="justify"> Процес Р1 - підготовка до звукозапису та його редукція по вихідний компоненті (рис. 6).
Ситуації редукції Р1 *:
* 1 = {S11, S13, S15, S17, S18} = {100000, 110000, 111000, 111100, 111110}.
Безліч вихідних компонент для редукції:
* 1 = {00,10}.
(рис. 6)
Процес Р - звукозапис і його редукція по вхідний компоненті (рис. 7).
Ситуації редукції Р *:
* = {S1, S6, S7, S8, S9} = {10000, 01000, 01100, 00110, 00011}.
Безліч вхідних компонент для редукції:
* = {10,01,00}.
(рис. 7)
У нашому випадку деякі значення вихідний компоненти y1 (ситуацій редукції Р1 *) збігаються зі значеннями вхідний компоненти x (ситуацій редукції Р *).
Побудуємо процес Р3 - композицію двох процесів-редукцій Р1 * = P1 (Y *) і Р * = P (X *)
Р3 = . Два процеси зчіплюються через ситуації S18 (процесу P1 (Y *)) і S1 (процесу P (X *)), ці ситуації мають однакові вхідну і вихідну компоненти відповідно. Процес композиції таким чином, знаходиться в просторі однієї ситуації S3 = {S18, S1}, де виконуються необхідні умови визначення послідовної композиції:
1. [S1i S1 (Y *)] & [Sj S (X *)];
. S18 = (111110), S1 = (10000) вихідна і вхідна компонента зчіплюються ситуацій процесів збігаються;
. Чи не порушується логіка роботи зчіплюються процесів: S18 = R1 (Y *), S1 = I (X *);
. якщо, те виконується одна з трьох припущень, тобто предикат
В
буде приймати значення В«істинаВ».
Ситуації процесів:
Прикордонна ситуація виділена курсивом.
Таблиця № 4
Ситуації процесу Р3:
Таблиця № 4.1
Ставлення безпосереднього проходження F3 представлено на (рис. 8):
В
(рис. 8)
Дослідження процесу і висновки:
Ефективність процесу. Перевіримо це властивість - процес повинен задовольняти трьом умовам ефективності:
4. () = TRUE. З будь-якої ситуації (НЕ Результант) у цьому процесі є траєкторія до Результант (в даному випадку - єдиному);
. () = TRUE. Будь-яка траєкторія, яка веде до Результант, починається в ініціатора;
. (Не ситуацій) = TRUE. p align="justify"> Таким чином, даний процес є ефективним, оскільки задовольняє цим умовам. Процес є керованим (це очевидно, адже він лінійний), але не є простим, так як ініціатор S1 переходить до ситуації S6, яка теж є ініціатором. p align="justify"> В результаті операції композиції був отриманий процес, який, є ефективним, керованим і непростим.
Процес підготовки до звукозапису, точніше його успішне виконання (редукція 4.3.3), запускає безпосередньо сам процес оцифровки, точніше, його В«одиночний прохідВ» (редукція 4.2), ці два процеси зчіплюються послідовно.
В§ 5. Предметна інтерпретація асинхронного процесу
.1 Побудова моделі В«Мережа ПетріВ»
Побудуємо мережу Петрі, що описує роботу репозиції (пункт 4.1) вихідного процесу.
N =
; = {DSP, V, RAM, HDD, T}; = {t1, t2, t3}.
Таблиця № 5
F (DSP, t2) = 1H (t1, DSP) = 1F (HDD, t1) = 1H (t1, T) = 1F (T, t1) = 1H (t2, DSP) = 1F (T, t2) = 1H (t3, RAM) = 1F (HDD, t3) = 1H (t3, V) = 1 0 = (0, 0, 0, 1, 1) ;
M1 = (1, 0, 0, 0, +1);
M2 = (1, 0, 0, 0, 0).
В В
Мережа Петрі (рис. 9):
Побудуємо граф розміток цієї мережі (мал. 10):
В
(рис. 10)
покриває дерева буде виглядати ідентично.
Аналіз мережі. Висновки
1.Дані мережа Петрі має властивість обмеженості: легко показати (на графі розміток, що збігається з покриває деревом мережі), що будь-яка умова мережі обмежена (виконується M (p) n);
. Дана мережа Петрі має властивість безпеки: легко показати (на графі розміток, ...
