Контрольная работа: Моделирование процесса печати с использованием струйного принтера Hewlett Packard (термоструйная печать)
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 | |
| s2 1 = | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 |
| s2 2 = | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| s2 3 = | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
| s2 4 = | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 |
| s2 5 = | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 |
| s2 6 = | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
Инициатор: I= { s2 1 }
Результант: R ={ s 2 5 , s 2 6 }
Выделим в процессе первую (контроллер) и вторую (бумага) компоненты в качестве входных.
X 2 = {10,11}.
Таким образом Y 1 = X 2
Редуцированные процессы P 1 ( X *) и P 2 ( X *) , где X * = {11,10}.
Процесс p 1 :
| K | P | M | |
| s1 1 = | 1 | 0 | 1 |
| s2 2 = | 1 | 1 | 1 |
Процесс p 1 :
| K | P | V | C | R | S | H | B | |
| s2 1 = | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 |
| s2 2 = | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| s2 3 = | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
| s2 4 = | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 |
| s2 5 = | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 |
| s2 6 = | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
Композиция двух процессов выглядит следующим образом:
I3 = {( s1 )};
R3 = {( s2 6 }.
| M | K | P | V | C | R | S | H | B | |
| s3 1 = | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| s3 2 = | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 |
| s3 3 = | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| s3 4 = | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
| s3 5 = | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 |
| s3 6 = | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 |
| s3 7 = | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
Граф композиции:
Вывод: композиция необходима для объединения нескольких процессов в один. В данном случае использовалась последовательная композиция, чтобы смоделировать процесс печати в целом, состоящий из полготовки к печати и непосредственно самой печати. Получившийся процесс 
представляет собой несколько упрощенный исходный процесс.
Предметная интерпретация асинхронного процесса.
Построение сети Петри.
Сеть Петри для данного процесса – пятерка N = < P , T , H , F , M 0 >, где