Контрольная работа: Чтение и запись с CD-R-устройств

3) если в компонента , то

4) если , то .

Таким образом, выбрав в качестве дополнительного процесса небольшой подпроцесс, предшествующий основному процессу, построили композицию этих процессов путём выделения входных и выходных компонент соответствующих процессов и последующего их (процессов) сцепления. Исходный процесс не стали упрощать с помощью репозиции, так как по смыслу данной композиции модель должна сохранить свою целостность. Получившийся процесс представляет собой несколько усложнённый исходный процесс.

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

Сетью Петри называется пятёрка.

– конечное непустое количество условий;

– конечное непустое количество событий;

- функция инцидентности;

- функция инцидентности;

- начальная разметка.

P = { p ₁ , p ₂ , p ₃ , p ₄ , p ₅ , p ₆ , p ₇ , p ₈ }

- в лоток вставлен диск;

– диск не является чистым;

- диск с аудиоинформацией;

- работает ЦАП;

- происходит считывание данных;

- происходит запись данных;

- включен аналоговый интерфейс;

- канал DMA в работе.

T = { t ₁ , t ₂ , t ₃ , t ₄ , t ₅ , t ₆ , t ₇ }

– переход к считыванию данных;

– переход к считыванию аудиоинформации;

– переход к получению данных через канал DMA;

– переход к состоянию перевода цифровых данных в аналоговые;

– переход к состоянию вывода данных в канал DMA;

– переход к записи данных на диск;

– переход к выводу информации в аналоговый интерфейс.

F (p1 , t1) = 2 F (p1 , t2) = 2 « 1 2 3 4 5 6 7 » К-во Просмотров: 314 Бесплатно скачать Контрольная работа: Чтение и запись с CD-R-устройств >>> Скачать <<< Меню Поиск