Построение сети Петри.

Сеть Петри для данного процесса – пятерка N = < P , T , H , F , M ₀ >, где

P = {K , M , P , V , C , R , S , H , B} – множество условий;

T = {t₁, t₂, t₃, t₄, t₅, t₆, t₇} – множество событий;

M ₀ = (1,1,0,0,0,0,0,1,0) – начальная разметка;

F и H – функции инцидентности, описывающие наличие дуги

Граф разметок сети

Покрывающее дерево выглядит аналогичным образом.

Свойства построенной сети Петри

Ограниченность и безопасность:

ü сеть ограничена, так как все ее условия ограничены (ни одна вершина покрывающего дерева не содержит символа ω);

ü сеть является безопасной, т.к. все ее условия безопасны (любая достижимая в сети разметка представляет собой вектор из 0 и 1).

Живость и устойчивость:

ü сеть не является живой, т.к. все её переходы живы при , но не являются живыми при любой другой достижимой в сети разметке;

ü сеть не является устойчивой, т.к. переход t ₂ не является устойчивым.

Вывод: построенная сеть Петри дает представление о функционировании компонент процесса. Она является ограниченной и безопасной, но не является устойчивой и живой.

Заключение

В данном РГЗ была построена модель «асинхронный процесс» печати струйного принтера. Полученный асинхронный процесс является эффективным, неуправляемым и непростым.

Над процессом были произведены операции: редукции, репозиции и параллельной композиции.

Репозиция исходного процесса показывает, что нет необходимости использовать дополнительные ситуации для повторного возобновления процесса работы принтера в ситуациях:

ü возобновление печати на новом листе;

ü циклическое повторение нагрева чернил, образования пузыря и выброс капли на бумагу;

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

Репозиция является частичной.

Редукция позволяет существенно упростить рассматриваемый процесс, сведя его к механизму печати струйного принтера (перемещение каретки, нагрев чернил, образование пузыря, выброс капли на бумагу и наполнение камеры чернилами).

Композиция необходима для объединения нескольких процессов в один, для дальнейшего рассмотрения поведения этих процессов в системе. В данном случае использовалась параллельная композиция.

Для данного процесса была построена сеть Петри. Она является ограниченной и безопасной, но не является устойчивой и живой.

модель печать струйный принтер

Литература

1. Лазарева И.М. Конспект лекции по теории вычислительных процессов.