Контрольная работа: Запись информации на магнитный носитель

Место (условие) р в сети N = (P,T,F,W,M₀ ) называется ограниченным, если существует число n такое, что для любой достижимой в сети разметки М справедливо неравенство М(р) n. Сеть называется ограниченной, если любое ее место ограниченно.

Множество достижимых разметок R(N) конечно, если и только если N - ограниченная сеть.

Место р называется безопасным, если для любого МÎR(N): М(р)  1, соответственно сеть безопасна, если все ее места безопасны. Любая достижимая в безопасной сети разметка представляет собой вектор из 0 в 1.

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

Изобразим граф разметок. (см. рис.).

Вывод:

Все места в сети ограничены, так как для любого места p: M(p)£n (n=1). Следовательно сеть ограниченная.

Все места являются безопасными, так как для любого места p: M(p) £1. Следовательно сеть безопасная (это значит, что все разметки состоят из 0-ей и 1-иц).

8. Анализ свойств переходов с. Петри на живость и устойчивость

Переход t в сети Петри N = (P,T,F,W,M₀ ) называется потенциально живым при разметке МÎR(N), если существует M’ÎR(N,M) : M’³F(p,t), т.е. существует достижимая от М разметка М’, при которой переход t может работать.

Если М = М₀ , то t называется потенциально живым в сети N.

Переход t – мертвый при М, если он не является потенциально живым при М. Переход t - мертвый, если он мертвый при любой достижимой в сети разметке.

Переход t в сети Петри называется живым, если для любого MÎR(N) cсуществует M’ÎR(N,M) : M³F(p,t), т.е. он потенциально живой при любой достижимой в сети разметке. Сеть называется живой, если все ее переходы живы.

Переход t называется потенциально мертвым, если существует MÎR(N), такая, что при любой разметке M’ÎR(N,M) переход t не может работать.

Переход t называется устойчивым в сети N, если t’ÎT \ {t}, MÎR(N) : (M³F(p,t)) Ç (M³F(p,t’))Þ(M³ (F(p,t)+F(p,t’))), т.е. если переход t может сработать, то никакой другой переход не может сработав, лишить его этой возможности.

Сеть N устойчива, если все ее переходы устойчивы.

Вывод:

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

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

9. Заключение

В данном РГЗ была построена модель АП записи на магнитный диск. Для более подробного исследования к данному процессу были применены следующие операции: репозиция, редукция и параллельная композиция. С помощью репозиции мы рассмотрели механизм возобновления процесса нажатия клавиши. С помощью редукции мы упростили процесс и вычленили его отдельную ветвь. Также была построена сеть Петри и изучены ее свойства.

Список использованной литературы

1. Конспект лекций по ТВП;

2. А.В. Гордеев, А.Ю. Молчанов, Системное программное обеспечение.