Page 76 - Г

де B - оператор початку; B 1 , B 2 , B - оператори відповідно
3
0
вивантаження 1-го, 2-го і 3-го апаратів; p 1 ,...,p - логічні
7
умови, що залежать від значень логічних функцій відповідно
z 1 ,...,z ; q 1 ,q 2 ,q - чекаючі логічні умови
7
3
z 1 y 1 2 y 1 3 , y 1 2 x 1 y 2 1 , y 1 3 x 1 y 3 1 ;
z 2 y 1 2 y 3 2 , y 1 2 x 2 y 1 2 , y 3 2 x 2 y 3 2 ;

z 3 y 1 3 y 3 2 , y 1 3 x 3 y 1 3 , y 2 3 x 3 y 2 3 ,
де x 1 , x 2 , x - логічні змінні, при ц * x i , 0 при * ц
3
x i , 1 , i=1, 2, 3;
2
y 1 2 , y 1 3 , y 1 2 , y 2 3 , y 1 3 , y - сигнали, по яких дається дозвіл
3
відповідно другим апаратом на вивантаження 1-го, третім
апаратом на вивантаження 1-го, першим апаратом на
вивантаження 2-го і т.д. При наявності дозволу y i i 0 i=1, 2,
3; при відсутності j=1, 2, 3; i . j
Кожна з логічних умов p 1 , p 2 , p виконується, якщо є
3
дозвіл на вивантаження від двох інших апаратів. Такий дозвіл
надходить, якщо для даного апарата * ц і x i , 1 а також
відсутні дозволи на вивантаження інших апаратів від даного.
Наприклад, при x 1 , 1 x 2 , 0 x 3 0 відсутні дозволи на

вивантаження 2-го і 3-го апаратів від першого y 1 2 , 0 y 1 3 0 ,
отже y 1 2 1 і y 1 3 , 1 y 1 2 1 і y 1 3 , 1 a z 1 , 1 тобто логічна
умова p виконується, що приводить до розвантаженню 1-го
1
апарата. Якщо в період його розвантаження спочатку умови
* досягає 2-й апарат x 1, а потім 3-й x 1, то першим
ц 2 3
у чергу на вивантаження стає 2-й апарат. Дійсно, так як при
1
x 3 , 0 y 3 2 0 і y 3 2 , 1 то з появою сигналу x 2 1 y 2 3 , 1 а y
2
стане рівним 1, коли закінчиться вивантаження 1-го апарата.
З закінченням вивантаження 1-го апарата зв'язане також
виконання логічної чекаючої умови q .
1
Якщо жодна з логічних умов p 1 , p і p не
3
2
виконується, тобто
z 4 z 1 z 2 z 3 , 1