Процессы и ситуации, происходящие при чтении дисков CD-RW (стр. 3 из 4)

:

В качестве второго процесса возьмем исходный процесс, редукцирование которого по входной компоненте

={1100,1110, 1000} описано выше.

={110000000, 1110000001, 1000000000};

= {1100000000};

= {1000000000};

:

Построим, если это возможно, процесс P₃= <S₃,F₃,I₃,R₃>, ситуации которого представимы в виде пар S³ = (S¹, S²), такой что:

1) S¹ÎS₁(Y₁*), S²ÎS₂(X₂*), т.е. S₃ Í S₁(Y₁*)´ S₂(X₂*);

2) выходная компонента у¹ ситуации S¹ равна входной компоненте х² ситуации S² - у¹ = х²;

3) если в S³ компонента S²ÎI₂(X₂*), то S¹ÎR₁(Y₁*);

4) если (S_i¹, S_j²)F₃(S_k¹, S_l²), то либо

(S_i¹FS_k¹)& (S_j²F₂S_l²), либо

(S_i¹FS_k¹)& (S_j² = S_l²), либо

(S_i¹ = S_k¹)& (S_j²F₂S_l²).

Ситуации процесса:

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. Построение сети Петри

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

В нашем случае множество условий

состоит из ситуаций самого процесса, т.е. показывает готовность компонентов процесса к действию; а множество - это наступление некоторых событий, т.е. выполнение шагов процесса.

Начальная разметка графа- условие начала работы, т. е. первоначальная активация, которая соответствует условию S_1.

2. Графическое представление сети Петри:

;

;

;

3. Граф разметок

4. Основные свойства сети Петри

-безопасна

-безопасна

-безопасна

-безопасна

-безопасна

-безопасна

-безопасна

-безопасна

-безопасна

-безопасна

Т. к. все места сети безопасны, то и вся сеть в целом безопасна.

Т. к. для

, сеть ограничена.