Чтение и запись с CD-R-устройств (стр. 2 из 3)
2: S1-S7-S8
3: S1-S5-S6
4: S2-S3-S4
5: S7-S8
6: S5-S6
Образуем множество S(X*), как объединение тех множеств S(Si), для которых справедливо S(Si)S*.
S(X*)={S1, S5, S6, S7, S8};
; 
;R(X*)={S6, S8}.
Построим граф процесса редукции:
 |
Таким образом, в результате редукции были выделены ветви, которые соответствуют чтению и записи на диск. То есть из исходного процесса выделили более простой подпроцесс.
Рассмотрим два АП. Один из них исходный процесс
, другой – вновь построенный 
:В качестве дополнительного процесса построим вспомогательный процесс, управляющий лотком CD-ROM’а.
Компоненты процесса
:p1’ – лоток закрыт;
p2’ – диск в лотке.
Ситуации процесса
:1. Лоток открыт, диска нет, устройство к работе не готово
p1’ – p2’–
2. Лоток закрыт, диск есть, устройство готово к работе
Выделим в исходном процессе первую (лоток) компоненту в качестве входной. Выбираем наличие диска в лотке, так как оно является основным показателем того, что устройство функционирует. Выбираем в исходном процессе ситуации, при которых в лотке имеется диск (первая компонента; т.е. все ситуации). Таким образом, получаем исходный процесс целиком. Это соответствует действительности, так как на всех стадиях работы устройства в нем имеется диск.
Очевидно, что редукцией процесса
по определенной выше компоненте (назовем ее 
) будет являться весь исходный процесс, т.е.: 
.Выделим в дополнительном процессе выходную компоненту. Это компонента p2’ – диск в лотке. X2 = {0,1}
В качестве
выберем все наборы входной компоненты дополнительного процесса. X2* = {0,1}Дополнительный процесс
представлен простой линейной структурой, которая не нуждается в дополнительном упрощении.Сцепление процессов будет происходить по компоненте {1}. То есть выходная компонента процесса
соответствует входной компоненте .Построим композицию исходного процесса
и дополнительного . 
S31=(S1, S1’);
S32=(S1, S2’);
S33=(S2, S2’);
S34=(S3, S2’);
S35=(S4, S2’);
S36=(S5, S2’);
S37=(S6, S2’);
S38=(S7, S2’);
S39=(S8, S2’);
S3={(10000000), (10000000), (11101000), (11110000), (11100010), (11001000), (11000001), (10000001), (10000100)};
F3 = {(S31)-(S32)- (S38)- (S39),
(S31)-(S32)- (S33)- (S34)- (S35),
(S31)-(S32)- (S36)- (S37)};
I3 = {(S31), (S32), (S33), (S34), (S36), (S38)};
R3 = {(S35), (S37), (S39)}.
Граф композиции:
 |
Обеспечены условия 1, 2, 3, 4:
1)
, 
: 
2) выходные компоненты
ситуаций из 
равны входной компоненте 
ситуации из 
3) если в
компонента 
, то 
4) если
, то 
.Таким образом, выбрав в качестве дополнительного процесса небольшой подпроцесс, предшествующий основному процессу, построили композицию этих процессов путём выделения входных и выходных компонент соответствующих процессов и последующего их (процессов) сцепления. Исходный процесс не стали упрощать с помощью репозиции, так как по смыслу данной композиции модель должна сохранить свою целостность. Получившийся процесс
представляет собой несколько усложнённый исходный процесс.Предметная интерпретация асинхронного процесса
Сетью Петри называется пятёрка
. 
– конечное непустое количество условий; 
– конечное непустое количество событий; 
- функция инцидентности; 
- функция инцидентности; 
- начальная разметка.P= {p1, p2, p3, p4, p5, p6, p7, p8}
- в лоток вставлен диск; 
– диск не является чистым; 
- диск с аудиоинформацией; 
- работает ЦАП; 
- происходит считывание данных; 
- происходит запись данных; 
- включен аналоговый интерфейс; 
- канал DMA в работе.T = {t1, t2, t3, t4, t5, t6, t7}
– переход к считыванию данных; 
– переход к считыванию аудиоинформации; 
– переход к получению данных через канал DMA; 
– переход к состоянию перевода цифровых данных в аналоговые; 
– переход к состоянию вывода данных в канал DMA; 
– переход к записи данных на диск; 
– переход к выводу информации в аналоговый интерфейс. | F(p1, t1) = 2F(p1, t2) = 2F(p1, t3) = 2F(p2, t4) = 1F(p2, t5) = 2F(p3, t4) = 1F(p5, t4) = 1F(p5, t5) = 2F(p4, t7) = 1F(p8, t6) = 2 | H(t1, p1) = 1H(t1, p2) = 2H(t1, p5) = 2H(t2, p1) = 1H(t2, p2) = 1H(t2, p3) = 1H(t2, p5) = 1H(t3, p8) = 2H(t4, p4) = 1H(t5, p2) = 1H(t5, p8) = 1H(t6, p6) = 1 |
M0 = {2,0,0,0,0,0,0,0}