= {1000 000000};

:

Построим, если это возможно, процесс 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. Графическое представление сети Петри:

;

;

;