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

Следовательно: 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=<>

К-во Просмотров: 265
Бесплатно скачать Контрольная работа: Запись информации на магнитный носитель