Процессы и ситуации, происходящие при чтении дисков CD-RW
={110000000, 1110000001, 1000000000};
= {1100000000};
= {1000000000};
:
Построим, если это возможно, процесс P3= <S3,F3,I3,R3>, ситуации которого представимы в виде пар S3 = (S1, S2), такой что:
S1ОS1(Y1*), S2ОS2(X2*), т.е. S3 Н S1(Y1*)ґ S2(X2*);
выходная компонента у1 ситуации S1 равна входной компоненте х2 ситуации S2 - у1 = х2;
если в S3 компонента S2ОI2(X2*), то S1ОR1(Y1*);
если (Si1, Sj2)F3(Sk1, Sl2), то либо
(Si1FSk1)& (Sj2F2Sl2), либо
(Si1FSk1)& (Sj2 = Sl2), либо
(Si1 = Sk1)& (Sj2F2Sl2).
Ситуации процесса:
SH | W | T | ED | M | S | L | O | P | I | F | B | C | K | |
0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
1 | 1 | 0 | 0 |
1 |
1 |
0 |
0 |
0 | 0 | 0 | 0 | 0 | 0 | |
1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
={00110000000000, 01110000000000, 11001100000000, 11001110000000, 00001000000000};
={001100000000};
={000010000000};
В результате сцепления двух процессов мы получили композицию. Процесс загрузки диска в привод, чтения с аварийным завершением.
ПРЕДМЕТНАЯ ИНТЕРПРЕТАЦИЯ АСИНХРОННОГО ПРОЦЕССА
1. Построение сети Петри
Взаимодействие событий в асинхронных системах имеет, как правило, сложную динамическую структуру. Поэтому такое взаимодействие проще описать, если указать не непосредственные связи между событиями, а те ситуации, при которых данное событие может реализоваться. Такие ситуации называются условиями реализации событий.
В нашем случае множество условий состоит из ситуаций самого процесса, т.е. показывает готовность компонентов процесса к действию; а множество - это наступление некоторых событий, т.е. выполнение шагов процесса.
Начальная разметка графа- условие начала работы, т. е. первоначальная активация, которая соответствует условию S1.
2. Графическое представление сети Петри:
;
;
;
Граф разметок
4. Основные свойства сети Петри
-безопасна
-безопасна
-безопасна
-безопасна
-безопасна
-безопасна
-безопасна
-безопасна
-безопасна
-безопасна
Т. к. все места сети безопасны, то и вся сеть в целом безопасна.
Т. к. для , сеть ограничена.
Т. к. переход может сработать при наличии фишек в и , а такая разметка существует, то переход - потенциально живой в сети.
Т. к. переход может сработать при наличии фишек в , , , , , , , , , а такая разметка существует, то переход - потенциально живой в сети.
Т. к. переход может сработать при наличии фишек в , , , , , , , , а такая разметка существует, то переход - потенциально живой в сети.
Т. к. переход может сработать при наличии фишек в и , а такая разметка существует, то переход - потенциально живой в сети.
Т. к. переход может сработать при наличии фишек в , , , , а такая разметка существует, то переход - потенциально живой в сети.
Т.к. срабатывание какого-либо перехода не влияет на срабатывание остальных переходов, то переходы в данной сети устойчивы, а, следовательно, и сама сеть тоже устойчива.
Таким образом, данная сеть является безопасной, ограниченной, живой (потенциально), устойчивой.
ЗАКЛЮЧЕНИЕ
процесс диск сеть петри информация
В данной работе было проведено полное исследование процесса чтения информации с диска CD-RW. Анализ показал, что процесс является простым, эффективным и управляемым. Были рассмотрены операции над процессами: репозиция, редукция и композиция. В результате редукции был задан механизм возобновления асинхронного процесса. Построение редукции позволило выделить из процесса более простой: процесс чтения диска с аварийным завершением. В результате композиции был построен процесс вставки диска в привод и чтения с аварийным завершением. Сеть Петри, построенная на исходном процессе, является безопасной, ограниченной, живой и устойчивой.
Размещено на
22