Моделирование процесса печати с использованием струйного принтера Hewlett Packard (термоструйная печать) (стр. 3 из 3)
Вывод: композиция необходима для объединения нескольких процессов в один. В данном случае использовалась последовательная композиция, чтобы смоделировать процесс печати в целом, состоящий из полготовки к печати и непосредственно самой печати. Получившийся процесс
представляет собой несколько упрощенный исходный процесс.Предметная интерпретация асинхронного процесса.
Построение сети Петри.
Сеть Петри для данного процесса – пятерка N = <P, T, H, F, M0>, где
P= {K, M, P, V, C, R, S, H, B} – множество условий;
T= {t1, t2, t3, t4, t5, t6, t7} – множество событий;
M0= (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).
Живость и устойчивость:
- сеть не является живой, т.к. все её переходы живы при
, но не являются живыми при любой другой достижимой в сети разметке;- сеть не является устойчивой, т.к. переход t2 не является устойчивым.
Вывод: построенная сеть Петри дает представление о функционировании компонент процесса. Она является ограниченной и безопасной, но не является устойчивой и живой.
Заключение
В данном РГЗ была построена модель «асинхронный процесс» печати струйного принтера. Полученный асинхронный процесс является эффективным, неуправляемым и непростым.
Над процессом были произведены операции: редукции, репозиции и параллельной композиции.
Репозиция исходного процесса показывает, что нет необходимости использовать дополнительные ситуации для повторного возобновления процесса работы принтера в ситуациях:
- возобновление печати на новом листе;
- циклическое повторение нагрева чернил, образования пузыря и выброс капли на бумагу;
- возобновление печати после вывода сообщения об отсутствии бумаги.
Репозиция является частичной.
Редукция позволяет существенно упростить рассматриваемый процесс, сведя его к механизму печати струйного принтера (перемещение каретки, нагрев чернил, образование пузыря, выброс капли на бумагу и наполнение камеры чернилами).
Композиция необходима для объединения нескольких процессов в один, для дальнейшего рассмотрения поведения этих процессов в системе. В данном случае использовалась параллельная композиция.
Для данного процесса была построена сеть Петри. Она является ограниченной и безопасной, но не является устойчивой и живой.
модель печать струйный принтер
Литература
1. Лазарева И.М. Конспект лекции по теории вычислительных процессов.