-> -> - траектория чтения с поврежденного диска.

Определим классы эквивалентности:

Все допустимые последовательности классов эквивалентности конечны. Причем - начальный класс эквивалентности, а - заключительный класс эквивалентности. Остальные ситуации, не являющиеся результантами, составляют одноэлементные классы эквивалентности.

Данный асинхронный процесс является эффективным , т. к. процесс удовлетворяет следующим условиям:

1) Для любой ситуации найдется ситуация такая, что s предшествует r.

2) Для любой ситуации найдется ситуация такая, что предшествует s.

3) Не найдется ситуаций и таких, что одновременно

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

Т. к. процесс эффективный, и каждая допустимая последовательность классов ведет только в один заключительный класс, то процесс является управляемым . Процесс является простым , т. к. из одного инициатора нельзя попасть ни в какой другой инициатор, и из одного результанта нельзя попасть ни в какой другой результант.

Таким образом, асинхронный процесс является эффективным, простым, управляемым.

ОПЕРАЦИИ НАД ПРОЦЕССАМИ

1. Репозиция

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

Репозиция асинхронного процесса P – это эффективный асинхронный процесс такой, что ; ; .

;

;

;

;

Инициаторами репозиции будут , а результантом будет .

На графе изображенном ниже это показано последовательностью переходов:

:

Т. к. в данном случае и , то репозиция является полной .

Таким образом, получили полную репозицию, которая задает механизм возобновления асинхронного процесса.

2. Редукция

Редукция процесса состоит в сведении данного асинхронного процесса к более простому, в выделении части процесса.

S ={1100000000, 1111011111, 1110101111, 1110000001, 1000000000};

I = {1100000000};

R = {1000000000};

Четыре первых элемента вектора выберем в качестве выходной компоненты.