Предметная интерпретация асинхронного процесса
Сетью Петри называется пятёрка . – конечное непустое количество условий; – конечное непустое количество событий; - функция инцидентности; - функция инцидентности; - начальная разметка. P = { p 1 , p 2 , p 3 , p 4 , p 5 , p 6 , p 7 , p 8 }
- в лоток вставлен диск; – диск не является чистым; - диск с аудиоинформацией; - работает ЦАП; - происходит считывание данных; - происходит запись данных; - включен аналоговый интерфейс; - канал DMA в работе. T = { t 1 , t 2 , t 3 , t 4 , t 5 , t 6 , t 7 }
– переход к считыванию данных; – переход к считыванию аудиоинформации; – переход к получению данных через канал DMA; – переход к состоянию перевода цифровых данных в аналоговые; – переход к состоянию вывода данных в канал DMA; – переход к записи данных на диск; – переход к выводу информации в аналоговый интерфейс.
M0 = {2,0,0,0,0,0,0,0} Граф разметок:
Замечание: одна или две фишки в данном графе соответствуют единице в ситуациях исходного процесса. Свойства сети Петри: 1) Ограниченность сети. Места p 1 , p 2 , p 3 , p 4 , p 5 , p 6 , p 7 , p 8 являются ограниченными (существует число достижимой в сети разметки M справедливо ) вся сеть является ограниченной; 2) Безопасность сети. Места p 1 , p 2 , p 8 не являются безопасными (для этих мест не выполняется условие ) вся сеть не является безопасной; 3) Живость сети. При переходы t 1 , t 2 , t 3 , t 4 , t 5 , t 6 , t 7 являются потенциально живыми в сети, но эти же переходы не являются живыми при любой достижимой в сети разметке сеть не является живой; 4) Устойчивость сети. Сеть не является устойчивой, так как существуют переходы, которые, сработав, могут лишить другой переход этой возможности: переходы , и t 3 взаимно блокируются; Вывод. 1) Система выполняет те функции, для которых она предназначена; 2) Данная система функционирует эффективно; 3) В исходном АП ошибки и аварийные ситуации возникнуть не могут; 4) Систему упростить нельзя, т. к. она уже является достаточно упрощённой. На основе построенной модели была создана сеть Петри для заданного процесса. В качестве ситуаций были взяты компоненты исходного процесса. Между ситуациями были расставлены переходы, а также установлена начальная разметка. После был построен граф разметок, который полностью совпал с исходным графом процесса, что свидетельствует о правильности построения и функционирования сети Петри.
Заключение
Можно утверждать, что система функционирует эффективно и выполняет те функции, для которых она предназначена.
Популярное: Организация как механизм и форма жизни коллектива: Организация не сможет достичь поставленных целей без соответствующей внутренней... Как распознать напряжение: Говоря о мышечном напряжении, мы в первую очередь имеем в виду мускулы, прикрепленные к костям ... Почему человек чувствует себя несчастным?: Для начала определим, что такое несчастье. Несчастьем мы будем считать психологическое состояние... ©2015-2024 megaobuchalka.ru Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. (138)
|
Почему 1285321 студент выбрали МегаОбучалку... Система поиска информации Мобильная версия сайта Удобная навигация Нет шокирующей рекламы |