Контрольная работа: Запись информации на магнитный носитель
Следовательно: 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=<>