Чтение и запись с CD-R-устройств (стр. 3 из 3)

Граф разметок:

Замечание: одна или две фишки в данном графе соответствуют единице в ситуациях исходного процесса.

Свойства сети Петри:

1) Ограниченность сети. Места p₁, p₂, p₃, p₄, p₅, p₆, p₇, p₈ являются ограниченными (существует число

достижимой в сети разметки M справедливо

)

вся сеть является ограниченной;

2) Безопасность сети. Места p₁, p₂, p₈ не являются безопасными (для этих мест не выполняется условие

)

вся сеть не является безопасной;

3) Живость сети. При

переходы t₁, t₂, t₃, t₄, t₅, t₆, t₇ являются потенциально живыми в сети, но эти же переходы не являются живыми при любой достижимой в сети разметке

сеть не является живой;

4) Устойчивость сети. Сеть не является устойчивой, так как существуют переходы, которые, сработав, могут лишить другой переход этой возможности: переходы

и t₃взаимно блокируются;

Вывод.

1) Система выполняет те функции, для которых она предназначена;

2) Данная система функционирует эффективно;

3) В исходном АП ошибки и аварийные ситуации возникнуть не могут;

4) Систему упростить нельзя, т. к. она уже является достаточно упрощённой.

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

Заключение

В данной работе были рассмотрены процессы и ситуации происходящие при чтении / записи с CD– устройств. Процесс представлен в очень упрощенном виде. Было установлено, что АП, построенный на основе данного вычислительного процесса, является эффективным, не является управляемым и не является простым.В результате проведения операции репозиции над процессом получили новый процесс, в котором считывание аудиоинформации может происходить требуемое число раз. В результате проведения операции редукции были выделены ветви, которые соответствуют чтению и записи на диск. Т.о. был выделен более простой подпроцесс. Вследствие последовательной композиции исходного и вспомогательного процесса получили новый несколько усложненный процесс. Описаны составляющие модели «асинхронный процесс», используя понятия модели «сеть Петри». Проведён анализ свойств мест сети Петри на ограниченность и безопасность: сеть ограниченная и не безопасная. Проведён анализ свойств переходов сети Петри на живость и устойчивость: сеть не является потенциально живой, и не является устойчивой.

Можно утверждать, что система функционирует эффективно и выполняет те функции, для которых она предназначена.