Возобновление печати на новом листе.

Инициатор: s₈

Результант: s₁

 

Циклическое повторение нагрева чернил, образования пузыря и выброс капли на бумагу

Инициатор: s₇

Результант: s₄

Возобновление печати после вывода сообщения об отсутствии бумаги

Инициатор: s₃

Результант: s₁

 

Таким образом, репозиция данного процесса имеет вид , где

 = {s₁, s₃, s₄, s₇, s₈},

 = {s₃, s₇, s₈},

R' = {s₁, s₄},

= {(s₈, s₁), (s₇, s₄), (s₃, s₁)}

 

Объединение процесса и его репозиции:

 

Вывод: репозиция позволяет повторить процесс после его выполнения. Для данной модели это означает, что печать может происходить не один раз, а столько, сколько необходимо в рамках поставленной задачи.

Репозиция рассматриваемого процесса является частичной, так как I ' совпадает с R, но R ' несовпадает с I.

Редукция

Редукция процесса состоит в сведении данного асинхронного процесса к более простому.

Составим редукцию репозиции нашего процесса.

Пусть процесс задан диаграммой переходов:

 

 

Три первых элемента вектора выберем в качестве входной компоненты.

Образуем p-блочное разбиение множества S , p = 4:

X = {1001, 1100, 1101, 1110, 1111}

 

Выбираем r =2 ( r < p ):

X ^* = {1110, 1111}

 

Образуем множество, содержащее ситуации, входящие в те блоки разбиения, которые соответствуют выбранным значениям входной компоненты:

 

S ^* = {111100010, 111010010, 111001010, 111000011, 111000110}

 

Для каждого инициатора  построим множество ситуаций встречающихся на траекториях процесса , ведущих из указанного инициатора. Образуем множество  как объединение тех множеств , для которых справедливо :

 

1: 110000010→111100010→ 111010010→111001010→111000011→

→111000110→100100010

2: 111100010→110100010

3: 111010010→111001010→111000001→111000110

 

Ситуации из траектории 3:

 

S ( X ^* ) = {111010010, 111001010, 111000011, 111000110}

I ( X *) = {111010010}

R ( X *) = {111000110}

 

Построим F ( X *):

 

Вывод: редукция позволяет из полного описания процесса выделить некоторую его часть, рассмотрение которой интересно по тем или иным причинам.

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

Композиция

Рассмотрим последовательную композицию двух процессов с ситуациями, структурированными по второму способу: в ситуациях p ₁ выделена выходная компонента; в ситуациях p ₂ выделена входная компонента.

p ₁ – подготовки к печати, состоит из двух ситуаций;

p ₂ – непосредственно сама печать;

Компоненты процесса p ₁ :

1. K – устройство управления

K+ - контролирует работу печати и всех элементов принтера

K– - бездействует

2. P – бумага

P+ - содержится в лотке

P– - отсутствует

3. M – память

M+ - содержит задания на печать

M– - свободна

Ситуации процесса p ₁ :

1. Принтер включен. Задание печати.

K+ P– M +

2. Проверка на наличие бумаги.

K+ P+ M +

 

	K	P	M
s11 =	1	0	1
s22 =	1	1	1

 

Инициатор: I = { s¹₁ }

Результант: R ={ s ¹ ₂ }

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

Y ₁ ={10,11}   

Компоненты процесса p ₂ :

1. K – устройство управления

K+ - контролирует работу печати и всех элементов принтера

K– - бездействует

2. P – бумага

P+ - содержится в лотке

P– - отсутствует

3. V – система валиков для подачи бумаги

V+ - работает (перемещает бумагу)

V– - ожидает (покоится)

4. C – каретка с печатающими картриджами

C+ - перемещается

C– - покоится

5. R – нагревательный элемент (тонкопленочный резистр)

R+ - нагрет

R– - охлажден

6. S – сопло

S+ - выбрасывает каплю чернил

S– - бездействует

7. H – камера

H+ - содержит чернила

H– - пуста

8. B – пузырь

B+ - есть

B– - отсутствует

Ситуации процесса p ₂ :

1. Проверка на наличие бумаги. Ее подача.

 

K+ P+ V+ C– R – S – H + B –

 

2. Каретка перемещается.

 

K+ P+ V– C+ R – S – H + B –

 

3. Пропускается ток. Резистр осуществляет быстрый нагрев чернил, находящихся в небольшой камере, до температуры их кипения.

 

K+ P+ V– C– R + S – H + B –

 

4. Образуется пузырек воздуха, который постепенно растет. Из выходного отверстия сопла выдавливаются пузырем чернила. Ток отключается. Нагревательный элемент остывает.

 

K+ P+ V– C– R – S – H + B +

 

5. Пузырек лопается. Происходит отрыв и последующий выброс уже оформившейся капли на бумагу. Силы поверхностного натяжения втягивают новую порцию чернил в камеру.

 

K+ P+ V– C– R – S + H + B –

 

6. С помощью системы валиков бумага выходит из принтера.

 

K+ P– V + C– R – S – H + B –

	K	P	V	C	R	S	H	B
s21 =	1	1	1	0	0	0	1	0
s22 =	1	1	0	1	0	0	1	0
s23 =	1	1	0	0	1	0	1	0
s24 =	1	1	0	0	0	0	1	1
s25 =	1	1	0	0	0	1	1	0
s26 =	1	0	1	0	0	0	1	0

 

Инициатор: I= { s²₁ }

Результант: R ={ s ² ₅ , s ² ₆ }

Выделим в процессе первую (контроллер) и вторую (бумага) компоненты в качестве входных.

X ₂ = {10,11}.

Таким образом Y ₁ = X ₂

Редуцированные процессы P ₁ ( X *) и P ₂ ( X *), где X * = {11,10}.

 

Процесс p ₁ :

	K	P	M
s11 =	1	0	1
s22 =	1	1	1

Процесс p ₁ :

	K	P	V	C	R	S	H	B
s21 =	1	1	1	0	0	0	1	0
s22 =	1	1	0	1	0	0	1	0
s23 =	1	1	0	0	1	0	1	0
s24 =	1	1	0	0	0	0	1	1
s25 =	1	1	0	0	0	1	1	0
s26 =	1	0	1	0	0	0	1	0

 

Композиция двух процессов выглядит следующим образом:

 

I₃ = {( s¹)};

R₃ = {( s²₆}.

 

	M	K	P	V	C	R	S	H	B
s31 =	1	1	0	0	0	0	0	0	0
s32 =	1	1	1	1	0	0	0	1	0
s33 =	1	1	1	0	1	0	0	1	0
s34 =	1	1	1	0	0	1	0	1	0
s35 =	1	1	1	0	0	0	0	1	1
s36 =	1	1	1	0	0	0	1	1	0
s37 =	1	1	0	1	0	0	0	1	0

 

Граф композиции:

 

 

Вывод: композиция необходима для объединения нескольких процессов в один. В данном случае использовалась последовательная композиция, чтобы смоделировать процесс печати в целом, состоящий из полготовки к печати и непосредственно самой печати. Получившийся процесс  представляет собой несколько упрощенный исходный процесс.

Предметная интерпретация асинхронного процесса.