logo
Процесс печати матричного принтера

§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. Основные свойства сети Петри

-безопасна

-безопасна

-безопасна

-безопасна

-безопасна

Т. к. все места сети безопасны, то и вся сеть в целом безопасна.

Т. к. для , сеть ограничена.

Т. к. переход может сработать при наличии фишек в и , а такая разметка существует, то переход - потенциально живой в сети.

Т. к. переход может сработать при наличии фишек в , , , а такая разметка существует, то переход - потенциально живой в сети.

Т.к. срабатывание какого-либо перехода не влияет на срабатывание остальных переходов, то переходы в данной сети устойчивы, а, следовательно, и сама сеть тоже устойчива.

Таким образом, данная сеть является безопасной, ограниченной, живой (потенциально), устойчивой.