Контрольная работа: Моделирование процесса печати с использованием струйного принтера Hewlett Packard (термоструйная печать)
T = {t1 , t2 , t3 , t4 , t5 , t6 , t7 } – множество событий;
M 0 = (1,1,0,0,0,0,0,1,0) – начальная разметка;
F иH – функции инцидентности, описывающие наличие дуги
| K | M | P | V | C | R | S | H | B | |
| s1 = | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
| s2 = | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 |
| s3 = | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
| s4 = | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| s5 = | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
| s6 = | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 |
| s7 = | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 |
| s8 = | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
| F(K, t1 ) = 1 | H(t1 , K) = 1 |
| F(M, t1 ) = 1 | H(t1 , M) = 1 |
| F(H, t1 ) = 1 | H(t1 , H) = 1 |
| F(P, t2 ) = 1 | H(t1 , P) = 1 |
| F(V, t2 ) = 1 | H(t1 , V) = 1 |
| F(V, t3 ) = 1 | H(t2 , V) = 1 |
| F(P, t4 ) = 1 | H(t3 , P) = 1 |
| F(C, t4 ) = 1 | H(t3 , C) = 1 |
| F(P, t5 ) = 1 | H(t4 , P) = 1 |
| F(R, t5 ) = 1 | H(t4 , R) = 1 |
| F(P, t6 ) = 1 | H(t5 , P) = 1 |
| F(B, t6 ) = 1 | H(t5 , B) = 1 |
| F(P, t7 ) = 1 | H(t6 , P) = 1 |
| F(S, t7 ) = 1 | H(t6 , S) = 1 |
| F(M, t7 ) = 1 | H(t7 , V) = 1 |
Граф разметок сети
Покрывающее дерево выглядит аналогичным образом.
Свойства построенной сети Петри
Ограниченность и безопасность:
- сеть ограничена, так как все ее условия ограничены (ни одна вершина покрывающего дерева не содержит символа ω);
- сеть является безопасной, т.к. все ее условия безопасны (любая достижимая в сети разметка представляет собой вектор из 0 и 1).
Живость и устойчивость:
- сеть не является живой, т.к. все её переходы живы при 
, но не являются живыми при любой другой достижимой в сети разметке;
- сеть не является устойчивой, т.к. переход t 2 не является устойчивым.
Вывод : построенная сеть Петри дает представление о функционировании компонент процесса. Она является ограниченной и безопасной, но не является устойчивой и живой.
Заключение
В данном РГЗ была построена модель «асинхронный процесс» печати струйного принтера. Полученный асинхронный процесс является эффективным, неуправляемым и непростым.
Над процессом были произведены операции: редукции, репозиции и параллельной композиции.
Репозиция исходного процесса показывает, что нет необходимости использовать дополнительные ситуации для повторного возобновления процесса работы принтера в ситуациях:
- возобновление печати на новом листе;
- циклическое повторение нагрева чернил, образования пузыря и выброс капли на бумагу;
- возобновление печати после вывода сообщения об отсутствии бумаги.
Репозиция является частичной.
Редукция позволяет существенно упростить рассматриваемый процесс, сведя его к механизму печати струйного принтера (перемещение каретки, нагрев чернил, образование пузыря, выброс капли на бумагу и наполнение камеры чернилами).
Композиция необходима для объединения нескольких процессов в один, для дальнейшего рассмотрения поведения этих процессов в системе. В данном случае использовалась параллельная композиция.
Для данного процесса была построена сеть Петри. Она является ограниченной и безопасной, но не является устойчивой и живой.
модель печать струйный принтер
Литература
1. Лазарева И.М. Конспект лекции по теории вычислительных процессов.