Контрольная работа: Моделирование процесса печати с использованием струйного принтера Hewlett Packard (термоструйная печать)

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

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

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

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

Инициатор: 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→