Контрольная работа: Модель асинхронного процесса создания кадра с помощью цифровой фотокамеры

I ={S1,S2}

В результате мы получили процесс создания кадра и запись его на внешнюю память.

Предметная интерпретация асинхронного процесса

N=<P,T,M0,H,F>,где

P={K,M,S,D,Mt,E}-конечное множество условий

T={ t1,t2,t3,t4,t5}- конечное множество событий

F(K, t1)=1;

F(M, t2)=1;

F(S, t3)=1;

F(D, t4)=1;

F(Mt, t5)=1;

H(t1,K)=1;

H(t1,M)=1;

H(t2,S)=1;

H(t3,D)=1;

H(t4,Mt)=1;

H(t5,E)=1;

M0={1,0,0,0,0,0}

Здесь местами являются компоненты процесса, а разметками – ситуации. Начальная разметка совпадает с ситуацией S1.

Данная сеть Петри ограниченная т.к при любой разметки M(p) 1,

Сеть является безопасной т.к для любой разметки для любого места p, M(p) 1. Данная сеть является живой, т.к. все её переходы живы.

Все переходы в этой сети устойчивы, т.к. структура сети является линейной и из каждого условия дуги направлены только на один переход.

Заключение

В данной работе мы рассмотрели создание модели АП процесса создания кадра с помощью цифровой фотокамеры. На этой моделью произвели операции: репозицию, редукцию, композицию.

В редукции мы упростили вычисления и выделили процесс в линейный. Также построили сеть Петри по редукции и определили его свойства