§7. Композиция процесса
Рассмотрим композицию.
Рассмотрим АП : процесс заправки нового листа бумаги.
Выделим компоненты процесса:
PF = 1 - Валик прижимающий лист в рабочем положении.
PF = 0 - Валик откинут.
Р = 1 - Устройство управления действует
Р = 0 - Устройство управления бездействует.
E = 1 - Система обработки ошибок работает.
E = 0 - Система обработки ошибок ожидает.
I = 1 - Бумага есть.
I = 0 - Бумаги нет.
Ситуации:
1. - вставка нового листа;
2. - подведение листа к печатающей головке в соответствии с разметкой страницы;
3. - подготовка к печати;
|
Ситуации |
PF |
P |
E |
I |
|
|
0 |
1 |
1 |
0 |
||
|
1 |
1 |
1 |
1 |
||
|
0 |
1 |
0 |
1 |
Таблица ситуаций, результантов и инициаторов:
|
Ситуации |
{ } |
||
|
Инициаторы |
{} |
||
|
Результанты |
{} |
Граф процесса:
матричный принтер механизм информация
Т. к. процесс элементарный, примем, что он совпадает со своей редукцией по выходной компоненте
Т. е.:
={0110, 1111, 0101};
={0110};
={0101};
:
В качестве второго процесса возьмем исходный процесс, редуцирование которого по входной компоненте ={01,11, 10}описано выше.
={01,11, 10};
Редукция процесса P - это процесс по выбранному множеству .
={10001, 10011, 10010}= {S1 S2 S3};
= {10001}= {S1};
= {10010}= {S3};
:
Построим, если это возможно, процесс P3= <S3,F3,I3,R3>, ситуации которого представимы в виде пар S3 = (S1, S2), такой что:
S1S1(Y1*), S2S2(X2*), т.е. S3 S1(Y1*) S2(X2*);
выходная компонента у1 ситуации S1 равна входной компоненте х2 ситуации S2 - у1 = х2;
если в S3 компонента S2I2(X2*), то S1R1(Y1*);
если (Si1, Sj2)F3(Sk1, Sl2), то либо
(Si1FSk1)& (Sj2F2Sl2), либо
(Si1FSk1)& (Sj2 = Sl2), либо
(Si1 = Sk1)& (Sj2F2Sl2).
Ситуации процесса:
|
PF |
P |
E |
I |
M |
H |
||
|
0 |
1 |
0 |
0 |
0 |
0 |
||
|
1 |
1 |
0 |
1 |
0 |
0 |
||
|
0 |
1 |
0 |
1 |
1 |
0 |
||
|
0 |
0 |
1 |
1 |
1 |
0 |
||
|
0 |
0 |
1 |
0 |
1 |
0 |
={010000, 110100, 010110, 001110, 001010};
={110000};
={ 001010};
В результате сцепления двух процессов мы получили композицию. Процесс загрузки листа бумаги в принтер, печати страницы.
ПРЕДМЕТНАЯ ИНТЕРПРЕТАЦИЯ АСИНХРОННОГО ПРОЦЕССА
1. Построение сети Петри
Взаимодействие событий в асинхронных системах имеет, как правило, сложную динамическую структуру. Поэтому такое взаимодействие проще описать, если указать не непосредственные связи между событиями, а те ситуации, при которых данное событие может реализоваться. Такие ситуации называются условиями реализации событий.
В нашем случае множество условий состоит из ситуаций репозиции исходного процесса, т.е. показывает готовность компонентов процесса к действию; а множество - это наступление некоторых событий, т.е. выполнение шагов процесса.
Начальная разметка графа- условие начала работы, т. е. первоначальная активация, которая соответствует условию S1.
2. Графическое представление сети Петри:
Размещено на http://www.allbest.ru/
Размещено на http://www.allbest.ru/
;
;
;
3. Граф разметок.
Размещено на http://www.allbest.ru/
Размещено на http://www.allbest.ru/
4. Основные свойства сети Петри
-безопасна
-безопасна
-безопасна
-безопасна
-безопасна
Т. к. все места сети безопасны, то и вся сеть в целом безопасна.
Т. к. для , сеть ограничена.
Т. к. переход может сработать при наличии фишек в и , а такая разметка существует, то переход - потенциально живой в сети.
Т. к. переход может сработать при наличии фишек в , , , а такая разметка существует, то переход - потенциально живой в сети.
Т.к. срабатывание какого-либо перехода не влияет на срабатывание остальных переходов, то переходы в данной сети устойчивы, а, следовательно, и сама сеть тоже устойчива.
Таким образом, данная сеть является безопасной, ограниченной, живой (потенциально), устойчивой.