Запись информации на магнитный носитель (стр. 3 из 3)
Далее построим редукцию процесса P1 по X*.
S1*={
}Траектории:
Следовательно: S1(X*) = {
} I1 (X*) = { 
} R1 (X*)= { 
}Теперь построим процесс P3.
Для процесса P3 имеем: S3={
I3={ 
}R3={ 
} | 202.Ситуация | 203.K | 204.S | 205.E | 206.P | 207.W | 208.C | 209.F | 210.PW | 211.D |
| 212.S1 | 213.1 | 214.0 | 215.0 | 216.0 | 217.0 | 218.0 | 219.0 | 220.1 | 221.0 |
| 222.S2 | 223.1 | 224.0 | 225.0 | 226.0 | 227.0 | 228.0 | 229.0 | 230.1 | 231.1 |
| 232.S3 | 233.1 | 234.0 | 235.0 | 236.0 | 237.0 | 238.0 | 239.0 | 240.1 | 241.1 |
| 242.S4 | 243.1 | 244.1 | 245.0 | 246.0 | 247.0 | 248.0 | 249.0 | 250.1 | 251.1 |
| 252.S5 | 253.1 | 254.0 | 255.1 | 256.0 | 257.0 | 258.0 | 259.0 | 260.1 | 261.1 |
| 262.S6 | 263.1 | 264.1 | 265.0 | 266.1 | 267.0 | 268.0 | 269.0 | 270.1 | 271.1 |
| 272.S7 | 273.1 | 274.1 | 275.0 | 276.0 | 277.1 | 278.0 | 279.0 | 280.1 | 281.1 |
| 282.S8 | 283.1 | 284.1 | 285.0 | 286.0 | 287.0 | 288.1 | 289.0 | 290.1 | 291.1 |
| 292.S9 | 293.1 | 294.1 | 295.0 | 296.1 | 297.0 | 298.0 | 299.1 | 300.1 | 301.1 |
| 302.S10 | 303.1 | 304.1 | 305.1 | 306.0 | 307.0 | 308.0 | 309.0 | 310.1 | 311.1 |
Вывод: таким образом построена последовательная композиция процессов P1 и P2 . Семантически ситуации процесса P1 предшествуют ситуациям процесса P2. Их суть – процесс подготовки носителя к записи информации.
6. Построение сети Петри
Сетью Петри называется пятерка N = <P, T, M0, H, F>, где
Р = {p1,...,pn} - конечное непустое множество условий
T = {t1,...,tm} - конечное непустое множество событий
- функция инцидентностиМ0 : Р ® {0, 1, 2,...} - начальная разметка.
Сеть Петри есть модельная интерпретация АП.Ситуациями в сети является начальная разметка М0 и все разметки, достижимые от М0, т.е. МÎR(N). Отношение F для любой возможной разметки М задает все разметки, которые могут непосредственно следовать за М. Очевидно, что на множестве R(N) можно определить отношение эквивалентности разметок и задать отношение F непосредственного следования для классов эквивалентности.
Построим сеть Петри для следующей траектории рассматриваемого процесса:
, что семантически соответствует успешному процессу записи данных.Выпишем значения компонент. Компонента E во всех ситуациях равна 0, поэтому эта компонента не учитывается при построении сети Петри.
| 312. | 313.K | 314.S | 315.W | 316.P | 317.C | 318.F |
319.  | 320.1 | 321.0 | 322.0 | 323.0 | 324.0 | 325.0 |
| 326. | 327.1 | 328.1 | 329.0 | 330.0 | 331.0 | 332.0 |
333.  | 334.1 | 335.1 | 336.1 | 337.0 | 338.0 | 339.0 |
340.  | 341.1 | 342.1 | 343.0 | 344.1 | 345.0 | 346.0 |
347.  | 348.1 | 349.1 | 350.0 | 351.0 | 352.1 | 353.0 |
354.  | 355.1 | 356.1 | 357.0 | 358.0 | 359.0 | 360.1 |
Формальное описание:
N=<
> 
7. Анализ свойств мест с. Петри на ограниченность и безопасность
Место (условие) р в сети N = (P,T,F,W,M0) называется ограниченным, если существует число 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,M0) называется потенциально живым при разметке МÎR(N), если существует M’ÎR(N,M) : M’³F(p,t), т.е. существует достижимая от М разметка М’, при которой переход t может работать.
Если М = М0, то 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. А.В. Гордеев, А.Ю. Молчанов, Системное программное обеспечение.