Cтраница 5
Отношение -) переходов необходимо отличать от отношения - предшествования событий. Отношение предшествования так же, как и отношение переходов, частично упорядочивает множество Е событий. Например, на рис. 2.3 процессы р2 и р не связаны операцией композиции, но при этом для событий, соответствующих завершению р2 и началу р6, справедливо ( t3 p2 ( з)) - ( 4Рб ( 4)) - С другой стороны, ( i pi ( i)) - ( 2 P4 ( г)) 5 и соответствующие события, как сказано выше, могут быть связаны переходом. [61]