Контрольная работа: Моделирование процесса печати с использованием струйного принтера Hewlett Packard (термоструйная печать)
Инициатор: I= { s21 }
Результант: R={ s25 , s26 }
Выделим в процессе первую (контроллер) и вторую (бумага) компоненты в качестве входных.
X2 = {10,11}.
Таким образом Y1 = X2
Редуцированные процессы P1(X*) и P2(X*), где X* = {11,10}.
Процесс p1:
| K | P | M | |
|
s11 = |
1 | 0 | 1 |
|
s22 = |
1 | 1 | 1 |
Процесс p1:
| 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 |
